0PA3 Lemma 7.3.15. Given α,β∈R(Z)\alpha,\beta\in R(Z), we have ⟨f(α),f(β)⟩=f(⟨α,β⟩)\langle f(\alpha),f(\beta)\rangle=f(\langle\alpha,\beta\rangle).