Trigonalizable/Direct sum/Fact/Proof/Exercise
              < Trigonalizable < Direct sum < Fact < Proof 
 
 
            
          Let denote finite-dimensional vector spaces over the field , let
denote linear mappings, and let
denote the product mapping. Show that is trigonalizable if and only if this holds for all .