• $\backslash A\; M\; (\%l\; x.x)\; M\; =\; M$ \zline{identity}
• $\backslash A\; F\; \backslash E\; X.\; F\; X\; =\; X$ \zline{fixed point}

Proof: take $W\; =\; \%l\; x.F\; (\; xx\; )$ and $X\; =\; WW$, then

  $X\; =\; WW\; =\; ($\%l x.F ( xx ) ) W = F ( WW ) = FX