14.6.1. By Contradiction