Indirect Proof

Assume the denial, derive a contradiction, and the denial is refuted