Whitney graph isomorphism theorem