前スレで互いに素について質問した者です。
つまり、a/bを既約分数だと仮定したのに、証明してみると
公約数が出てくるからa/bという有理数は存在しない、
という解釈でいいのでしょうか？