Trova un termine lambda che soddisfa due equazioni

Question

Sto solo cercando l'idea generale su come affrontare il seguente problema:

Trova un termine $ Delta = lambda x.xuv $ tale che:

1. $ Delta Delta = K $
2. $ Delta k = s $

(È un sistema di 2 equazioni, non sapevo come formattarlo correttamente)

Dove $ K = lambda xy.x $ e $ S = lambda xyz.xz (yz) $

Penso di dover usare il teorema di Bohm ma non so esattamente come.