Theorem 4.6
(Edge-isoperimetric inequality in
Z
n
)
.
Assuming that:
A
⊂
ℤ
n
a finite set
Then
|
∂
A
|
≥
2
n
|
A
|
n
−
1
n
.