昨天晚上睡前完成的证明,今早又理了一遍行文思路。