>>669
これも間違い。この予想が正しいから、(a)が成立しなくても、(2)が成立する場合もある
aは(2)にはない変数だから、aの値は何でもいいので、(a)は(2)が成り立つための
必要条件ということになる。