Tangent of Sum of Three Angles/Proof 1