Update change log
Add new proof to README