Erdos-Fuchs theorem/Definition