1019

Given a regular octagon. Prove the red line segments are congruent.