O reticulado das congruências de um reticulado-CF ortomodular

Por reticulado-CF ortomodular entende-se um reticulado ortomodular em que toda a cadeia é finita. É conhecido que, para uma álgebra de Boole B, o reticulado das conguências de B e o reticulado dos ideais de B são isomorfos. Utilizando uma generalização deste resultado para reticulados ortomodulares, prova-se que, se L for um reticulado-CF ortomodular, então o reticulado das conguências de L é distributivo.