Intercept theorem/Two rays/Fact/Proof
Proof
Without loss of generality, we may assume that , , and , as this does not change the lines involved. We write . We have ; therefore, we obtain
This point belongs to and also to . This means that this point is just . Hence, , and