凸n角形の対角線の本数はn(n-3)/2
である事はどうやって証明するんでしょうか?