Home work 1. Pure lambda calculus.