The paper may be viewed as an addendum to a paper of Thomason and Throbaugh, where the K-theory of algebraic varieties is equipped with relative K-groups. It is proved that this enriched K-theory satisfies the Panin–Smirnov axioms for ring cohomology theories of algebraic varieties. In particular, it is proved that the Leibniz formula, describing the interaction between multiplication and differential, holds in this case. The language of symmetric spectra and of monoidal model categories is used. Bibliography: 7 titles.