>>300
　オーソドックスな証明法は対偶をとって証明。数Iの教科書傍用
なんかで、対偶の練習問題になってるぞ。

　どんな証明方法でもいいなら、と断ってるのにツッこむのもあ
れだが、303の

＞ 「A, B は互いに素である」⇔ 「Ax+By=1 となる整数x.yが存在する」

はもとの命題よりさらに高度な性質だから、証明に使うのはどうか
な。