Propiedad: Una condición necesaria y suficiente para que la formula_1 con formula_3 perteneciente a los enteros, tenga solución es que el máximo común divisor de formula_4 y formula_5 divida a formula_6