Llamando f a la composición de pr con f, tenemos que