corollary of basic proportionality theorem