We need to prove that AF = FD.
يتعين علينا إثبات أن AF = FD.