Kuratowski Isomorphism Theorem