が三角行列なら \det A = 対角成分の積であることを示せ。