結果 : proving hyperbolic functions