>>86
ならないらしい
なる証明よりもならない証明のほうが簡単だし。
ほぼなる、のかもしれない