What is the point of proving simple functions?

No.13315110 ViewReplyOriginalReport
"If a + b = 0, then b = -a and a = -b"
So fucking what?
Did I get memed on into studying this book?