Basic proportionality theorem