Updated prove.py. Useless update.

Fixed word-wrap problem.
Fixed bug (not able to add point).

Had to replace:

    a += b   # 'a' is a list.

with

    a.append(b)
Modified prove.py. Fixed many, many bugs.