In Section 2 we give a simple proof of Theorem 1 using cross-ratios and
establish a link with the buttefly theorem and its projective generalization.
Section 3 interprets Theorem 1 in terms of hyperbolic and M¨obius geometry,
reproves and generalizes it.
Both approaches to Theorem 1 are quite common and belong to the folklore
in the mathematical olympiads community. We believe that they can
be used as nice exercises in projective, respectively hyperbolic geometry.
The author thanks Arseniy Akopyan for useful remarks.