Lines Matching full:contradiction
801 // Proof by contradiction: Assume X is red. Let c0 be x's implicit
