Create proof statement.md