En la definición para números enteros se pide que el MCD sea un número positivo.