Note that no assumption on the underlying base field is required.
基礎体についての仮定は全く必要ないことに注意しよう。