Характеризация разрешимых однопорожденных тотально насыщенных формаций конечных групп

Доказано, что для $\tau$-замкнутой тотально насыщенной формации конечных групп условие конечности длины решетки ее $\tau$-замкнутых тотально насыщенных подформаций равносильно условию конечности этой решетки, а также разрешимости и однопорожденности такой формации.