Tangent of Sum of Three Angles/Proof 2