Всегда существует поле из p^n элементов, где p-простое.