Where, for all and and

             

Other elements of N' and N

We can show that i.e. N' and N are equivalent.

We need to prove that

           i.e.

           

We will show something more, that is,