Then U is a non-trivial ideal and the factor ring R/U is left p-nil.
Since it is obvious that a subring of a left (right) p-nil ring is left (right) p-nil, it is not clear that this would be true for all the factor rings. The following lemma shows that this holds for some factors.