Об алгебраичности решётки всех $\tau$-замкнутых тотально насыщенных формаций

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