首次证明,第三批网络研讨会 笔记