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