reconsider S = sqrt {(0. A)} as Ideal of A ;
S = nilrad A by Th27;
hence for b₁ being Subset of A st b₁ = nilrad A holds
b₁ is add-closed ; :: thesis: verum