propriedades do gcd