AF y EC son paralelas. Los triángulos EGB y FHD son iguales por tener respectivamente iguales un lado, EB=FD, y dos ángulos
(<EBG=<FDH por alternos internos y <BEG=<FDH por lados paralelos).
Entonces EG=FH y, como son paralelos, HFGE es un paralelogramo.