Lemma 3.15.
val
(
Γ
,
F
)
=
F
.