La ecuación diofántica formula_5 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".