Gọi A là gia điểm của tia Mx' và Ey.
Ta có:
\(\widehat{y'Mx'} = \widehat{yAx'}\) ( 2 góc đồng vị, My' // Ey)
\(\widehat{yAx'} = \widehat{yEx}\) ( 2 góc đồng vị' Mx' // Ex)
\(\left\{\begin{matrix} \widehat{y'Mx'} = \widehat{yAx'}\\ \widehat{yAx'} = \widehat {yEx } \end{matrix}\right.\) \(\Rightarrow \widehat{y'Mx'} = \widehat{yEx}\)