theorem
  {0.X} is commutative Ideal of X iff for x,y being Element of X holds x
  \(x\y) <= y\(y\x)
by BCIALG_3:1,Th36;
