Prime avoidance lemma
Statement
Let be a commutative unital ring. Let and be ideals of , such that . Then, if contains an infinite field or if at most two of the s are prime, then is contained in one of the s.
Graded version
If is graded, and is generated by homogeneous elements of positive degree, then it suffices to assume that the homogeneous elements of are contained in .