Cotangent of Sum/Corollary