Mostowski's isomorphism theorem