Tensor-product additivity