ｸｲｽﾞ大陸

(1) 正解です．

出てくる分数は全て値が異なりますから，(3) が成立すれば，確かに (2) も成立しますね．

(2) をとばして (3) を直接示すことは，「既約分数 a/b 」を「 a/b という値を持つ分数」
と読み替えればできます (というか a/b の既約性は特に使いません)．ただし，読み替えた場合，
(3) だけからは (2) が得られず，やはり (2) を別に示すか，追加の説明が必要です．
(見づらいのでストロークで消した部分を取りました)