Für Polynome P , Q ∈ K [ X ] ≤ d {\displaystyle {}P,Q\in K[X]_{\leq d}} und Skalare r , s ∈ K {\displaystyle {}r,s\in K} und z ∈ K {\displaystyle {}z\in K} ist