いろいろとこれくらいは成り立ってほしいマトモな性質を保持しようとすると0しかない自明な体{0}以外無理みたいな話だったはず