Theorem #7 - Two Tangents to a Circle