theorem :: GROUP_4:72

for G being Group holds Bottom (lattice G) = (1). G