Лямбда-исчисление. Опции

[Krjuger]

Собственно задача следующая.
5.Определить лямбда-образ функции T(x)=<a1,......,an>, где аi делитель "х" (расположенные по убиванию).
Собственно непонятно,какие проверки должны быть.Например,если х равно нулю,то результатом должно быть 0 или пустое множество.Так же не совсем понятно,как искать делитель.Была идея рассмотреть обратную задачу,тобиш пойти через умножение и записывать по порядку,но тут тоже возникли проблемы,умножение то я сделал <<*>>=лямбда y1,y2(y2 y2 лямбда z2 ( <<+>>(<<*>>y1z2)y1)),Но как написать функцию,которое будет это использовать, я не знаю.