>>14公理だからです

点も線も未定義だけど