Todo retículo distributivo es modular, pero el juicio inverso no se cumple.