Step-by-step explanation:
m < E = m < y
G I bisect < FGH
m < E = m < z ......Corresponding Position
EF |I Gl
< F = < z
< F = < y .............Alternatively
EF |I G[