consider G being free GeneratorSet of A;
Generators A = G by Th34;
hence Generators A is GeneratorSet of A ; :: thesis: verum