Se puede probar que cada cuerpo finito es una extensión de Z/"pZ para algún primo "p".