Tangent and cotangent/Monotonicity behavior/Fact/Proof/Exercise