Sia F : K₃[X] ® K₄[X] così definita :

F(a₀ + a₁X + a₂X² + a₃X³) = a₀X + a₁X² + a₂X³ + a₃X⁴

(dove K_r[X] sono i polinomi di grado £ r );

F è lineare ?