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