A direct proof establishes a conditional proposition 
by assuming the hypothesis 
and deducing the conclusion 
through definitions,
previously established results, and valid rules of inference.
Unlike an indirect proof, it does not begin by
assuming the negation of the desired conclusion.
For example, to prove directly that the sum of two even integers is even, write 
and 
. Then 
, which is even by
definition.
