Como verificar se um par ordenado é solução de um sistema