>>525
それはどゆこと?
ちゃんとR=1を満たすものが他に1つも見つからなかったとしても矛盾を導けてるん?