set I = [#] A;
reconsider I = [#] A as Subset of A ;
I in Ideals (A,S) ;
hence not Ideals (A,S) is empty ; :: thesis: verum