Visual inspection of the loop does not show that this will necessarily be the case, so an assertion statement is used after the loop to test for that condition.

• 对循环的直观检查并不说明这一定为真,因此在循环后使用一条断言语句来测试该条件。