path shape preservation proof