Todos los retículos distributivos son modulares.