定理は証明して得るものだけど
定義は証明できるはずがないだろうに
三角関数の証明ってそんなの見たことないし
存在するはずがないだろう