If is the additive identity, then .