It follows that AF = FD, as the theorem claims.
ينتج من ذلك أن AF = FD، كما تنص النظرية.