8.4: Proportionality Theorems