Se dau două numere naturale a şi b. Se cere să se calculeze cel mai mare divizor comun al lor folosind algoritmul lui Euclid. Pentru rezolvare, utilizăm o definiţie recursivă a celui mai mare divizor comun pentru două numere naturale a şi b.