Corollary 3.
Assuming that:
A
⊂
Q
n
with
|
A
|
≥
∑
i
=
0
r
n
i
Then
|
A
(
t
)
|
≥
∑
i
=
0
r
+
t
n
i
for all
t
≤
n
−
r
.