こういうのは確かに背理法だなあと思うのですが…
まあ証明すべき命題もA⇒Bの形じゃないですし…

例４
　素数は無限個あることを証明しなさい．
（答案）
素数は有限個だけあると仮定し，これらをp1,p2,p3,p4,...，ｐｎとおく
p1・p2・p3・p4･･･ｐｎ＋１はp1,p2,p3,p4,...，ｐｎのいずれでも割り切れない（１余る）から素数である．
これは矛盾であるから，素数は無限個ある．（ユークリッドの証明）

http://www.geisya.or.jp/~mwm48961/koukou/cond004.htm