En un retículo distributivo acotado se verifica