Determinant/Field/Upper triangular matrix/Fact/Proof
              < Determinant < Field < Upper triangular matrix < Fact 
 
            
          
Proof
 This follows with a simple induction directly from the recursive definition of the determinant.