数学板だから
定義と証明を正しく行えば良い