Důkaz sporem

, matematika viz nepřímý důkaz.