Let us restate the assertions above as a theorem.

• 我们把上述的断言重新表述为一个定理。