>>768
m=3+2√2が解でないことを証明できるか?