結果 : determinant of lower triangular matrix proof