結果 : proof hyperbolic functions