basic proportionality theorem