A generalization of the Mitchell Lemma: The Ulmer Theorem and the Gabriel–Popescu Theorem revisited