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.