lemme d'évitement des idéaux premiers
in commutative algebra, the lemma that if an ideal in a commutative ring is contained in a union of finitely many prime ideals, then it is contained in one of the prime ideals