typo
to do
Lemma: i_*(F) of finite type iff F of finite type