Primitive of Square of Tangent Function/Proof 1