In the figure below,
ABCD is a square and E is any point on AD.
The bisector of angle EBC meets CD at F.
FG is perpendicular to BE (G on BE), AG and BF extended meet at H. Prove that
the points A, B, C, H, and D are concyclic (they lie on a common circle).