Theorem 6.5. Assuming that:

$char K ∤ n$

Then

E [n] ≅ {(ℤ ∕ n ℤ)}^{2}

.