みんな定理B見てみろよ、^Nとか全く関係なく成り立つからな
もっと強い以下の定理だって簡単に証明できる
∀x. ∃y. x=y
こんなの誰でも証明できるし、これ使えば定理Bなんて秒殺なんてすけど