The number of boxes is finite, so eventually our choice procedure comes to an end.
因为盒子數量有限，所以我们的选择过程最后一定会结束。