In particular, the set of all counterexamples contains a minimal element, the minimal counterexample.
Ειδικότερα, το σύνολο όλων των αντιπαραδειγμάτων περιέχει ένα ελάχιστο στοιχείο, το ελάχιστο αντιπαράδειγμα.