In a cyclic quadrilateral ABCD, CD is produced to E. If AD is the bisector of β π΅π·πΈ, prove that β³ π΄π΅πΆ is isosceles.