Fix statement lemma

Thanks to Bas Edixhoven