397

A square is folded. Prove the red line segment is the radius of the red circle.