Montrer que le sous-espace propre de associé à peut être identifié à l'espace vectoriel des applications linéaires de dans .

La dimension de (espace vectoriel des applications linéaires de l'espace vectoriel dans l'espace vectoriel ) est égale au produit .