HPIIBC, BCIIAD, ADIIEF, EFIIHP(по теореме о пар-ти трех прямых).
BA пересекает EA, BAIICD, AEIIFD из этого всего следует, что (EAB)II(DFC) из этого следует FE=HP (как отрезки пар-ных прямых заключенные между пар-ныыми плоскостями)
HPIIEF,
HP=EF и из этого следует что EFHP - пар-м (по признаку пар-ма)