In a quadrilateral ABCD, lines AFG, BFE, CHE, and DHG are the angle bisectors of angles A, B, C, and D respectively. Prove that EFGH is a cyclic quadrilateral.