set G = the free GeneratorSet of A;
Generators A = the free GeneratorSet of A by Th34;
hence for b₁ being GeneratorSet of A st b₁ = Generators A holds
b₁ is free ; :: thesis: verum