Introduction:


Example Proof:



Converting to a Two-Column Proof:



Creating Blocks for new Definitions, Postulates or Theorems: