Prove.

Definition D1

For propositions p, q, when p → q holds, p is called a sufficient condition for q and q a necessary condition for p. When both directions hold, they are necessary and sufficient for each other.

Proof.