Provide the Requested Proof

question 80

Essay

Provide the requested proof.
- $$\text { In the figure below, } \mathrm { AB } = \mathrm { CD } , \mathrm { BE } = \mathrm { FC } \text { and } \angle \mathrm { B } \cong \angle \mathrm { C } \text {. Prove that } \mathrm { AF } = \mathrm { ED } \text {. }$$

---

Definitions:

Symbol

A symbol is a mark, sign, or word that indicates, signifies, or is understood as representing an idea, object, or relationship.

Main Connective

In logic and mathematics, the main connective is the operator in a logical formula which has the widest scope, essentially determining the main relationship between the elements of the proposition.

Statement

An expression or utterance that conveys a fact, opinion, or information, which can be deemed true or false.

Symbolic Notation

A system of symbols used to represent quantities, operations, relations, or elements in a concise and standardized format.