定義だけでよいなら方程式論は飛ばして構わない