The blue points quadrisect a radius. The blue line quadrisects the blue angle. The green angle measures $45^\circ$. The blue and green arcs are semicircles. Prove the red points are vertices of an inscribed regular heptadecagon.