<s>[INST] The figure shows a regular pentagon \( ABCDE \) inscribed in a circle. Prove that the bisector of angle \( B \) intersects side \( AC \) at point \( F \), and prove that \( CF \) is equal to the radius of the circle.[/INST]