Add proof example
Add proof to README