La ecuación diofántica formula_11 o identidad de Bézout tiene solución si y solo si "d" = mcd("A", "B") (máximo común divisor) es un divisor de "C".