ну нет конечно.  те то придумали совсем с нуля. А ученикам дают  намеки в нужном направлении..задачка 1- лемма, задачка 2 - вторая лемма, задачка 3 - теорема, при доказательстве которой надо использовать эти леммы.  Тем не менее доказываешь сам, а не читаешь чужое доказательство, пытаясь его запомнить.  Доказываешь и сдаешь человеку устно. И если что-то упустил, тебя в это ткнут.