第31章 庄式定理