Let Assuming
Then,
Proof
Assume we already proved laws 1-5 for Absolute Function. Let Consider two cases. Case 1: Assume Then (by definition of Absolute Function) We know that and so it follows that Case 2: Assume Then, (by piecewise definition of Absolute Function) We know that and so it follows that Since both cases of the absolute function are fufilled, we can conclude that: