Trouver un terme lambda satisfaisant deux équations

Question

Je cherche juste l'idée générale sur la façon d'approcher le problème suivant:

Trouver un terme $ Delta = lambda x.xuv $ tel que:

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

(C'est un système de 2 équations, je ne savais pas comment le formater correctement)

Où $ K = lambda xy.x $ et $ S = lambda xyz.xz (yz) $

Je pense que j'ai besoin d'utiliser le théorème de Bohm mais je ne sais pas exactement comment.