Item 3.3.9.a.

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

in-context