Lemma contains_zero