>>220
a^2 = 2 となる a ∈ Qは存在しないから自明