1. Let us first show that exists. We know that which implies that
Which exists since
2. Now since exists we can say that its left and right hand derivatives exist and equal . Or in other words . Which implies that exists and equals .
3. So and we can finally conclude that which is what was to be proven.
Note: I assumed that 0 was a limit point of but I think that was implied.