Basic Proportionality theorem