定理じゃなく公理だと証明すればいいんじゃね、アンチ諸君