, f), donde f = pr ° f.