√2は無理数であることを証明せよ。

の書き出しに

√2が無理数でないとすると、有理数だから
√2=p/q(p, qは互いに素な正の整数)とおける。

ってあったんですが
有理数がp/qで表せることはわかるんですが、
条件「p, qは互いに素な正の整数」(1以外に共通の約数をもたないこと)の意味がわかりません。