lean_workbook_plus_62582

Prove and explain the reason why $1-(-1)$ is $2$ . Please provide in depth explanation as to why and how $2$ is the solution.