i. e

If and

All other elements of N are as in D.

If then there is a sequence of states such that

Then it is clear from the above construction of N that there is a sequence of states (in N) such that and and hence

Similarly we can show the converse.

Hence ,