theorem lemgcdi: :: FIELD_14:44

for R being EuclidianRing
for a, b being Element of R
for g being a_gcd of a,b holds {g} -Ideal = {a,b} -Ideal