http://imepita.jp/20100307/835480

背理法でa=1をしめすのはわかるけど
どうやったら示せるかわからんorz