Diofantiline võrrand ja Eukleidese algoritmi