It can be shown that a finite lattice is modular if and only if it is M-symmetric and M*-symmetric.
Man kann zeigen, dass ein endlicher Verband genau dann modular ist, wenn er M-symmetrisch und M*-symmetrisch ist.