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