Jedna z metod dowodu, co mo zastosowanie, kej je ino skōńczōny numer przipodkōw, co by mogły kludzić do kōntrprzikładōw, znōmo je za "brute force": w tym podejściu rozwożo sie wszyske możliwe przipodki i pokazuje, iże niy ône dowajōm kōntrprzikładōw.