Más aún, "MCD(a,b)" es el elemento mínimo positivo del conjunto de combinaciones lineales enteras {"ax + by"}.