>>827
それ本当に√2が無理数であることの証明なの?