>>748
整数しか知らないとするとこの証明はどうなるんでしょ?