結果 : proof of hyperbolic functions