Proof updated

Updated Proof:

completed -- isComplete(), toString(), and added an ArrayList of each proof step for checking isComplete()