theorem
  {0.X} is commutative Ideal of X iff for I being Ideal of X holds I is
  commutative Ideal of X
by Th37,Th36;
