Комбинатор K равен K := (λxy.x), а комбинатор с фиксированной точкой - Y := λf.(λx.f x x) (λx.f x...

Я новичок в лямбда-исчислении и изо всех сил пытаюсь доказать следующее. SKK и II - бета-эквивалент