**Definition :** A sequence of logical statements that verify the validity of a statement.

A proof consists of a sequence of logical statements that are derived from relevant definitions and theorems. Once a statement has a valid proof, that statement can never be disproved.

**See Also :** Theorem, Definition