Ais an argument that uses written justification in the form of definitions, properties, postulates, and previously proved theorems and corollaries to show that a conclusion is true.