Update prove.md