The alternate segment theorem says that angles BAC and BCE are congruent, so

###
Triangle ABC is isosceles, which makes angles ACB and ABC congruent, and the sum of the interior angles of any triangle is 180 degrees, so



###
The alternate segment theorem also says that angles DCF and CAD are congruent. Angles DCF, ACD, ACB, and BCE are supplementary, so


Then


###
The inscribed angle theorem says that angle COB has twice the measure of angle BAC, so
