Chp 3. Proof