Eukleidův algoritmus
(největší společný dělitel dvou přirozených čísel)