Let us start with an immediate consequence of the algorithm.

• 我们先提出该运算法则的一个直接推论。