We have thus arrived at the very important theorem.

• 这样我们就得了一条很重要的法则。