>>784
有理数 p, q について
p√2 + q = 0 ならば p = q = 0