Prova-se tudo o que se quer, e a verdadeira dificuldade está em saber o que se quer provar.