一个三角矩阵的行列式是不是等于其对角线上的主元相乘?