[APH]:

> >NEW(?) THEOREM:

> >Let A', B', C' be the orthogonal projections of A,B,C on the line

HP.

> >The reflections of AA', BB', CC' in the angle bisectors AA*, BB*,

CC*

> (resp.)

> >of ABC concur at P' on the circumcircle of ABC.

> >

[AZ]:

> This is evident. The lines AA', BB', CC' are parallel, so their

reflections

> concur in the point isogonally conjugated to infinite.

Dear Alexey,

Yes, this is obvious for the general case (ie for an arbitrary line)

But in the special case, ie for a line passing through H,

the isogonal conjugate is the SAME point we get with the OLD theorem

in my first message.

Greetings

Antreas