>>219
移行するのは別の公理が必要だからダメらしいです

>>221
そうです
お願いします