I am about to proof Morleys Triangle Theorem in a slightly different manner. I am only one step apart. I want to show, that
$$P_2C^\prime=P_2B^\prime$$
so that the triangle $P_2C^\prime B^\prime$ has the same angles at the side of the red one. For this I wanted to show that every corner is collinear with an edge of the red triangle and a point $P_i$. Any thoughts?
