BASIC PROPORTIONALITY THEOREM