多组时，有一种证明方式称为「暴力法」（brute force），就是用所有的反例一一验证，确定它们都不是反例。因为可能反例的数量可能很多，此时的暴力法可能需要配合一些实际的作法，例如用电脑演算法来确认所有的可能反例都不是反例。像1976年及1977年的四色定理暴力法证明，一开始也有人质疑，最后在2005年由定理证明软体确认过结果无误。若猜想已被证明，猜想就不再是猜想，而是定理了。有许多重要的定理是从猜想开始的，例如几何化猜想（证明了庞加莱猜想）、费马大定理等。
反证.若已找到反