Corollary of proportionality theorem

Interactive help to prove corollary of proportionality theorem.

Information: Corollary of proportionality theorem