Hot goIITian
I think u have made a typing mistake. EF is a side not diagonal. It should be EG. Otherwise excellent proof.