4. Other facts

Proposition A. Normal$(G)$ is modular for any group $G$.

Proposition B. In a modular lattice, the sublattice generated by two chains is distributive.