Důkaz
p
umping
l
emm
y
3/3
•
Obecně tedy
M
může provést přechody:
•
pro
m
= 0
,
u
v
m
w
=
u
v
0
w
=
u
w
,
1.
2.
3.
s
u
w
|
–
i
q
w
|
–
*
f
,
f
Î
F
1.
3.
•
pro každé
m
>
0
,
s
u
v
m
w
|
–
i
q
v
m
w
|
–
*
f
,
f
Î
F
1.
3.
|
–
j
q
v
m
-
1
w
2.
|
–
j
q
w
|
–
j
...
2.
2.
Celkově:
1)
q
v
|
–
j
q
,
j
³
1
;
proto
|
v
|
³
1
,
tedy
v
¹
e
2)
s
u
v
|
–
i
q
v
|
–
j
q
,
i + j
£
k
;
proto
|
u
v
|
£
k
3)
Pro každé
m
³
0:
s
u
v
m
w
|
–
*
f
,
f
Î
F
,
proto
u
v
m
w
Î
L
CBD
s
u
|
–
i
q
;
q
v
|
–
j
q
;
q
w
|
–
*
f
,
f
Î
F
,
tedy:
6
/26