i need to know how to write a proof for why CF is the perpendicular bisector of BD