Consider the construction above. It is a regular 17-gon with some diagonals, their intersection points and a segment joining them. Remark that [i]AB[/i]=[i]RS[/i].[br]This theorem has been obtained automatically by using the software tool [url=https://github.com/kovzol/RegularNGons]RegularNGons[/url].