a better proof of path_universe_inverse