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