theorem
  for J be proper Ideal of A holds multClSet(J,a) is multiplicatively-closed;
