>>697
0より大きい自然数 → 0より「小さい」自然数