Arithmetic properties: Identity property