Tangent times Tangent plus Cotangent/Proof 1