773

Given a regular octagon. Prove the red triangle is equilateral.