One knows in our situation that x y {\displaystyle {}xy} is a so-called test element. Hence the previous Lemma shows that f ∉ I ∗ {\displaystyle {}f\notin I^{*}} .