Item 3.2.3.a.

Prove the statement. What sort of proof are you using?

in-context