Any solubly saturated hereditary lattice formation is saturated.
scientific article; zbMATH DE number 5816871