theorem
  X is p-Semisimple iff for x,y holds y\(y\x) = x;
