theorem Th1: :: AMI_4:1

dom Euclid-Algorithm = 5