Basic Proportionality Theorem (with proof)