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

• Let us restate the assertions above as a theorem.