theorem :: AMI_4:10

Euclid-Algorithm , Start-At (0,SCM) computes Euclid-Function