S ≡ ( λ f . ( λ g . ( λ x . ( ( f x ) ( g x ) ) ) ) ) {\displaystyle S\equiv (\lambda f.(\lambda g.(\lambda x.((fx)(gx)))))} K ≡ ( λ x . ( λ y . x ) ) {\displaystyle K\equiv (\lambda x.(\lambda y.x))}
