theorem :: AOFA_000:29

for A being Universal_Algebra st Constants A = {} holds
for G being GeneratorSet of A holds G <> {}