Indirekt módon: tételezd fel, hogy nem igaz az állítás, és erre a feltételezésre keress igazolást.
Ha találsz, akkor tényleg nem igaz, ha nem találsz, akkor igaz.