theorem Th24: :: GCD_1:24

for R being commutative domRing-like Ring
for Amp being AmpleSet of R holds 0. R is Element of Amp