Por ejemplo, la demostración directa puede ser usada para establecer que la suma de dos enteros pares es siempre par: