b) Prouver que AEH+BEF = 90°.