This page contains proofs to some assertions that are left as exercises in Combinator engine.
I = S K K
To prove this, remember that
S x y z = x z ( y z )
and
K x y = x
So what is S K K p?
S K K p = K p ( K p ) = p