命題
K を必ずしも可換とは限らない体とする。
|K|（過去スレpart1の180）は有限であるとする。
このとき |K| は素数冪である。

証明
K の標数（>>667）は素数 p である。
よって、K の素体（>>667）P は Z/pZ に同型である。
[K ： P]（>>560） = n とする。
このとき |K| = p^n である。
証明終