<=が気に入らなければ≦に読み替えればいいだけ
0が自然数でないことを証明せよ
ていうかそもそも自然数の定義を知ってるのか?