Item 3.2.10.c.

By contradiction

in-context