A proof must demonstrate that a statement is always true (occasionally by listing all possible cases and showing that it holds in each), rather than enumerate many confirmatory cases.
Ou sexa, unha proba debe demostrar que unha proposición é certa en tódolos casos, sen excepción (ocasionalmente enumerando todos os casos posíbeis e mostrando que se sostén en todos eles), máis ca enumerando moitos casos confirmatorios.