Update proof statement.md