Proved that canonicity of pmap is preserved by rem.