Updated prove.py

Changed the lines about licence for clarity.