√2は循環しない小数である
という証明ってどうするのでしょうか?