There exists an additive identity such that