結果 : derivative of inverse hyperbolic functions proof