Theorem 20
(Erdos-Ko-Rado Theorem)
.
Assuming that:
A
⊂
X
(
r
)
be
intersecting
, where
r
<
n
2
Then
|
A
|
≤
n
−
1
r
−
1
.