Follow the construction steps:[br]Draw the midpoints of a square.[br]Connect the midpoints with the opposite vertices of the square.[br]Can you make a smart guess, whether the obtained octagon is regular? [br]Use the 'upper red point' to rotate the 'symmetric image'.[br]Can you prove or disprove the hypothesis, that the obtained octagon is regular?