prove map_rev