one last lemma about fin-project needed