Inverse trigonometric functions/Derivative/Fact/Proof