Máximo Divisor Comum

O máximo divisor comum de dois inteiros a e b (a ou b diferente de zero), denotado por (a, b), ´e o maior inteiro que divide a e b.
Teorema: seja d o máximo divisor comum de a e b, então existem inteiros r e s tais que d=ra+sb.