We have now shown that every reward class has a unique reward function that can be represented as outlined in Theorem 1, which is given by \(f(r,\pi_{\text{ref}},\beta)\) for any reward function in that class.