>>251 ありがとうございます。
そうですね、約分できるなら、
共通の数で割って始めて互いに素ということになりますよね。

上の子が質問してきた下の子に、
「『有理数は分数で表せる数』というのは
『約分し終わった分数で表せる』ってことなんだよ」
と無理やり説明してましたが、そういう納得の仕方でもいいのでしょうか…。