Un retículo no modular siempre contiene al retículo formula_36 como subretículo.