正17角形 対角線の交点の数