Item 0.2.9.a.

Equivalent to the converse.

in-context