theorem Th34: :: AOFA_000:34

for A being free Universal_Algebra
for G being free GeneratorSet of A holds G = Generators A