О существовании минимальных $\tau$-замкнутых тотально насыщенных не $\mathfrak H$-формаций

Для всяких $\tau$-замкнутых тотально насыщенных формаций $\mathfrak M$ и $\mathfrak H$, таких, что $\mathfrak M\not\subseteq\mathfrak H$ доказано, что в $\mathfrak M$ содержится по меньшей мере одна минимальная $\tau$-замкнутая тотально насыщенная не $\mathfrak H$-формация. $\tau$-Замкнутую тотально насыщенную формацию $\mathfrak F$ называют минимальной $\tau$-замкнутой тотально насыщенной не $\mathfrak H$-формацией (или, иначе, $\mathfrak H_\infty^\tau$-критической формацией), если $\mathfrak F\not\subseteq\mathfrak H$, но все собственные $\tau$-замкнутые тотально насыщенные подформации из $\mathfrak F$ содержатся в классе групп $\mathfrak H$.