Misalkan \(F\) suatu lapangan berkarakteristik \(p\text{.}\) Maka \(F\) memuat sublapangan yang isomorfik dengan \({\mathbb Z}_p\text{.}\)