A mathematical arguement showing that a statement is valid in all cases, or that no counterexample exists
» NB Math Dictionary