杉浦光夫の解析入門Ⅰの７ページで

s^2=2を満たすからs=q/p (q,pは整数)と書くときq~2=2*p^2となり
素因数分解の一意性に反し矛盾である

とあります。
意味がわかりません助けてください