Note that the circumcircle C of the triangle ADE is orthogonal to the circle C, since it is invariant under the inversion at the circle C (see Figure 7).
Note that the circumcircle C of the triangle ADE is orthogonal to the circle C,since it is invariant under the inversion at the circle C (see Figure 7).