We showed that a determinant in diagonal form is equal to the product of the diagonal elements.

• 我们已证明一对角形行列式等于其对角元素的乘积。