DEFINITION clear_gen_flat()
TYPE =
       ∀f:F.∀e:C.∀x:C.∀u:T.(clear (CHead e (Flat f) u) x)→(clear e x)
BODY =
Show proof