Primitive of Cosecant Function/Cosecant minus Cotangent Form/Proof