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.
I1 is the incenter of the triangle AHB and I2 is the incenter of
triangle BHC. Prove that the points E,
I2, and D are concyclic.