Ex 3.2: Added proof of lemmas