О недистрибутивности решетки всех $n$-кратно $\omega$-композиционных формаций

Пусть $n \ge 0$ и $\omega$ – бесконечное множество простых чисел. Доказано, что решетка всех $\tau$-замкнутых $n$-кратно $\omega$-композиционных формаций не является дистрибутивной при любом целом неотрицательном $n$.