theorems include: vertical angles are congruent points on a perpendicular bisector are equidistant from the segment endpoints
find the m<ACS
find the m<SCE
find the m<FCA