theorem Th8: :: IDEAL_2:5

for A being non degenerated commutative Ring
for I being Ideal of A holds
( I ||^ 1 = I & I *' ([#] A) = I )