Corollary 7.3. Assuming that:

Then

# E (𝔽_{q}) = q + 1 - tr (ϕ)

and

| tr (ϕ) | \leq 2 \sqrt{q}