Lemma is pretty simple:(FDE) = ((ADE) + (CDE))/2.(ADE) = (ABD) and (CDE) = (BDE).
(FDE) = ((ADE) + (CDE))/2.
(ADE) = (ABD) and (CDE) = (BDE).