О полноте подрешеток формаций конечных групп

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