basic proportionality theorem proof