Adicionar Congruência Vazia Adicionar Congruência Válida Limpar Sistema