Simplified the map-iterate proof.