白チャートP103例題59の質問です。 √2は無理数であることを、背理法を用いて証明せよ。ただし、整数nについて、n^2が偶数ならばnは偶数であることを用いてよい。 という問題です。 解説で√2=(m,nは1以外の正の公約数をもたない自然数)とおく、と書いてあります。 m,nは素数と書かない理由はなんでしょうか。「m,nは1以外の正の公約数をもたない自然数」とは、素数とは別物なのでしょうか。 解答自体は理解できるのですがここの文章だけ理解できません。 有識者の方、ご回答いただけますと幸いです。