>>966
自然数ならな。
でも、似たような体系で「最小値が存在することが保証されない」体系も存在するし、
そういう体型ではその理屈は成り立たない。