Add proof prop0