theorem Th35: :: LATTICE8:35

for L being lower-bounded modular LATTICE holds L has_a_representation_of_type<= 2