Let $ABC$ be a triangle. On the extensions of sides $AB$ and $CB$ towards $B$, points $C_1$ and $A_1$ are taken, respectively, so that $AC = A_1C = AC_1$. Prove that circumscribed circles of triangles $ABA_1$ and $CBC_1$ intersect on the bisector of angle $B$.
Problem
Source: 2013 Oral Moscow Geometry Olympiad grades 8-9 p4
Tags: geometry, circumcircle, angle bisector, equal segments, concurrency, concurrent