Tangent of Sum/Corollary