theorem Lm6: :: TOPZARI1:4

for A being non degenerated commutative Ring
for J being proper Ideal of A holds multClSet (J,(1. A)) = {(1. A)}