Конечность $3$-порождённой решётки с полунормальным и кополунормальным элементами среди порождающих

Известно, что модулярная $3$-порождённая решётка всегда конечна и содержит не более 28 элементов. Решётки, порождённые тремя элементами с теми или иными свойствами модулярности, могут уже не быть модулярными, однако оставаться конечными. Показывается, что $3$-порождённая решётка, среди порождающих элементов которой один полунормален, а другой кополунормален, конечна и содержит не более 45 элементов. Устанавливается, что данная оценка точна.