Proposition 4.16.
Assuming that:
S
and
ϕ
given as in Proposition
4.15
Then
there exists
n
×
n
matrix
M
with entries in
𝔽
5
and
b
∈
𝔽
5
n
such that
ψ
(
x
)
=
M
x
+
b
(
ψ
:
𝔽
5
n
→
𝔽
5
n
^
) satisfies
ψ
(
x
)
=
ϕ
(
x
)
for
Ω
δ
(
|
𝔽
5
n
|
)
elements
x
∈
S
.