Law of Tangents/Corollary/Proof 1