Determinant/Field/Upper triangular matrix/Fact/Proof