*** n = %1, a = %2: counterexample found! *** としてください。出力の
出だしは、
n = 2, a = 1: verified
n = 3, a = 1: verified
n = 3, a = 2: verified
n = 4, a = 1: verified
n = 4, a = 3: verified
n = 5, a = 1: verified
n = 5, a = 2: verified
n = 5, a = 3: verified
n = 5, a = 4: verified
調べる組み合わせの順番はまず n の小さい順
、同じ n の値に対して a の小さい順としてください。定理の確認が目的な
ので、プログラムの作成に際して定理が正しいという仮定を用いてはいけま
せん。


[3] 環境
　[3.1] OS： Windows vista
　[3.2] gcc
　[3.3] 言語： C
[4] 期限： 明日までですＴ。Ｔ
[5] その他の制限： よく知りませんＴ．Ｔ