The figure below shows a right triangle ABC
with the incenter I and the altitude BH. BD and BE are bisectors of
angles HBC and ABH, respectively.
I_{1} is the incenter of the triangle AHB and I_{2} is the incenter of
triangle BHC. Prove that the points E,
I_{1}, I,
I_{2}, and D are concyclic.
