整数のオーバーフロー使えば楽に証明できるけど、それはもはや基礎数学の整数じゃないし。