set G = the free GeneratorSet of A;
Generators A = the free GeneratorSet of A by Th34;
hence Generators A is GeneratorSet of A ; :: thesis: verum