
theorem Th44:
  for L being non empty doubleLoopStr, I being Ideal of L holds I -Ideal = I
by Def14;
