Properties

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


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

slide: The lambda calculus -- properties