Refutation by contradiction