В любом случае перед студентом не ставится задачи придумать доказательство теоремы с нуляА я в свое время восстанавливала формулировки теорем матанализа через доказательства, когда чувствовала, что мне для доказательства в формулировке какого-то условия не хватает.  При этом доказательства я тоже придумывала на ходу.