Item
3.2.10.c
.
By contradiction
in-context