Proposition 7.6. EPFR${}^{\prime }$($\eta$) $⟹$ EPFR(${\eta }^{-1}$).