Наибольший общий делитель G(M,N) для двух чисел M и N можно обозначить рекурсивной схемой:

                                         M, если N=0;                  

                    G(M,N) =    

                                         G(N,mod(M,N)), если N<>0.

Написать программу, которая использует рекурсивно описанный предикат G(M,N) для нахождения наибольшего общего делителя пары чисел.