In a quadrilateral ABCD, lines AFG, BFE, CHE, and DHG are the angle bisectors of angles A, B, C, and D respectively. Prove that the lines AD, BC, and FH are concurrent at P.