Discovering Erotic Charm in basic proportionality theorem proof

basic proportionality theorem proof