Se as equações e têm o mesmo conjunto solução, então o produto vale: