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.