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 left-ideal & b₁ is right-ideal ) ; :: thesis: verum