Мы доказываем, что хотим доказать, и реальная трудность состоит в том, чтобы знать, что мы хотим доказать.