Bisectors of a right triangle $\triangle ABC$ with right angle $B$ meet at point $I.$ The perpendicular to $IC$ drawn from $B$ meets the line $IA$ at $D;$ the perpendicular to $IA$ drawn from $B$ meets the line $IC$ at $E.$ Prove that the circumcenter of the triangle $\triangle IDE$ lies on the line $AC.$ (A. Kuznetsov )