Lemma by H. Henderickx