Updated prove.py to use point class.