成立派に正しいのなら定理、証明を書けよと言ったのに通じなかった。
基礎論界隈では定理、証明がわからないらしい（爆笑）