Tag: shabanov proved additive