Basic Proportionality Theorem