In algebra, the prime avoidance lemma says that if an ideal I in a commutative ring R is contained in a union of finitely many prime ideals Pᵢ's, then it is contained in Pᵢ for some i. Wikipedia