Ex 5.3

Ā Proofs