ფაილების კატალოგი

A discovery #197
Made in Georgia (Caucasus) by Emzari Papava

Theorem. If L lattice with only one additions, as a sublattice, does not comprise none of N₅ and M₃ lattices, the least elements of which coincide with the least element of L lattice, then L is distributive.