prove.py