Update proves.ipynb