Теорема Коши — Давенпорта

Теорема Коши — Дэвенпорта — результат аддитивной комбинаторики, названный в честь Огюстена Коши и Гарольда Дэвенпорта, утверждающий, что размер множества сумм двух множеств в группе вычетов никогда не оказывается существенно меньше, чем сумма их размеров. Теорема была предложена Гансом Хейльбронном как нерешённая задача Гарольду Дэвенпорту, который решил её и опубликовал доказательство в 1935 году.