for G being Group holds lattice G is complete