Primitive of Cosecant Function/Tangent Form/Proof 1