Si ton application linéaire se ramène à faire du f : (x1,...,xn) |-> (l1.x1,...,ln.xn), avec les li des scalaires tous distincts, alors en prenant le vecteur x = (1,....,1), la famille {x,f(x),...,f^(n-1)(x)} est libre et engendre tout K^n. (la liberté de cette famille est équivalente à l'inversibilité de la matrice de Vandermonde associée aux scalaires l1,...,ln, ce qui est le cas).