Tangent times Tangent plus Cotangent/Proof 2