máximo común divisor de 80