isomorphism proof of zn to zk