编号：定义、引理、命题、定理、推论等必须按节顺序排列。单独成行的数学式子不可以全文顺序排列（未被引用的式子也要编号）。