It was observed by Papadimitriou that, if NCi = NCi+1 for some i, then NCi = NCj for all j ≥ i, and as a result, NCi = NC.
Papadimitriou đã nhận thấy rằng, nếu NCi = NCi+1 với một số i nào đó, thì NCi = NCj với mọi j ≥ i, và do đó, NCi = NC.