theorem :: GROUP_4:36

for G being Group holds not 1_ G is generating by Th35;