Planar: Oprava definice plotu

diff --git a/11-planar/11-planar.tex b/11-planar/11-planar.tex
index 97d4e0099383ae9c62034a36dc4c1ed4534b27b0..6b37f6d781a6da822b2580c4ca79f43f995bc471 100644 (file)
--- a/11-planar/11-planar.tex
+++ b/11-planar/11-planar.tex
@@ -359,8 +359,10 @@ z~bloku~$B$.
 
 {\I Existence plotu.}
 Stačí se tedy omezit na situaci s~jediným blokem~$B$, v~němž leží vrcholy~$v$, $w$,
-$x$ i~$y$. Dokážeme nyní, že uvnitř bloku existuje {\I plot} -- cesta mezi~$x$
-a~$y$, jejíž zbývající vrcholy neleží na hranici bloku.
+$x$ i~$y$. Dokážeme nyní, že uvnitř bloku existuje {\I plot} -- cesta mezi
+vrcholem na \uv{levé hranici bloku} (cestě $vxw$ bez $v$ a~$w$) a vrcholem
+na \uv{pravé hranici bloku} (cestě $vyw$ bez $v$ a~$w$),
+jejíž zbývající vrcholy neleží na hranici bloku.
 
 Předpokládejme pro spor, že plot neexistuje. Před nakreslením zpětných hran
 vedoucích do~$v$ ještě blok~$B$ neexistoval a jeho hrany patřily do několika