>>133
√2は実数であることは既知として
有理数か無理数のどちらか