Item 3.2.7.a.

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

in-context