Create proves.ipynb