section_path: Methods of proof/Direct proof
section_name: Direct proof
paragraph_text: Direct proof
  
  In direct proof, the conclusion is established by logically combining the axioms, definitions, and earlier theorems. For example, direct proof can be used to prove that the sum of two even integers is always even:
  
  This proof uses the definition of even integers, the integer properties of closure under addition and multiplication, and the distributive property.