Japanese theorem for cyclic quadrilaterals

The Japanese sentence (English Japanese theorem ) states that in a cyclic quadrilateral the centers of the four incircles of the four triangles that result from triangulation with diagonals that form the corners of a rectangle.

Be an arbitrary cyclic quadrilateral and be the midpoints of incircles of the triangles. Then form a rectangle.