Quando se tenta provar alguma coisa, um problema encontrado pode ser convencer