第一千一百一十七章 形式分析