La existencia de esta función está garantizada por la condición (3) indicada previamente.