Fixed formatting for 'proof' section of example.md