О замкнутости локальных формаций относительно (нормальных) подгрупп

Доказана
Теорема. Пусть $\mathfrak F$ – локальная формация, $f$ – ее полный внутренний локальный экран, $\mathfrak F$ замкнута относительно подгрупп (нормальных подгрупп) тогда и только тогда, когда $f$ замкнута относительно подгрупп (соответственно нормальных подгрупп) для любого простого числа $p$.