De la anterior tenemos una variante; de propiedades del máximo común divisor tenemos: