תהי <math>T:\mathbb{R}_3[x]\rightarrow \mathbb{R}</math> המוגדרת ע"י: לכל <math>p(x)\in\mathbb{R}_3[x]</math> נגדיר <math>T(p(x)):=p(0)</math>.
תהי <math>S:\mathbb{R}\rightarrow\mathbb{R}_3[x]</math> העתקה המוגדרת ע"י: לכל <math>a\in\mathbb{R}</math> נגדיר <math>T(a)=a(x^3_13+1)</math>
הוכח/הפרך: