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