” 有限体 “の” 標数 “は必ず素数となり、有限体の位数は必ず素数ベキになるということを証明しています。逆に任意の自然数nと任意の素数pに対して、位数がpのn乗となる有限体が存在。