О 3-порождённых решётках, близких к дистрибутивным

Рассматриваются решётки, в которых вместо тождества дистрибутивности допускается наличие "‘зазора"’ длиной не более 1 между правой и левой частями каждого из соотношений дистрибутивности. Такие решётки называются близкими к дистрибутивным. Хотя это свойство слабее дистрибутивности, тем не менее 3-порождённая решётка с указанным свойством также конечна.