Tangent Sum Identity Proof