10
Proof of the Lemma
•
Claim 2: for any
f
2
L
k
1
w
there exists
f
’
2
FO
k
s.t.
y
k
²
f
$
f
’
This by induction on
f
.