6.4 Proportionality Theorems and Proofs