This is a complicated proof. It is found here: https://www.studyrankersonline.com/18739/point-intersection-diagonals-trapezium-through-segment-drawn-parallel-meeting-prove-that In the UK the word for "trapezoid" is "trapezium". The proof there has the same letters as yours except it has O for your E. Edwin