>>793
まあいいけど、
「無理数でない」は「有理数である」だから
a+bとa-bはいずれも有理数⇒a,bは有理数
の方が分かりやすいのでは。