De, felróhatjuk. Ezt hívják indirekt bizonyításnak.