absolute value function identities