>>517
0って自然数だっけ?(マジシツモン)