Formal proof organized by statements and reasons in logical order of
statements with reasons using theorems, properties or definitions for each
statement.