
theorem Th66:
  for R being non empty doubleLoopStr, a being Element of R holds
  a in {a}-Ideal
proof
  let R be non empty doubleLoopStr, a be Element of R;
  a in {a} & {a} c= {a}-Ideal by Def14,TARSKI:def 1;
  hence thesis;
end;
