We now state the idea of the previous paragraph as a theorem.

• 现在我们把上一段的概念叙述成定理。