-(i) Nejprve nahlédneme, ¾e lemma platí je-li vstupem èistì bitonická
-posloupnost -- najdeme nejmen¹í~$k$ takové, ¾e $x_k$ a~$x_{k+{n/2}}$
-se prohodí. Pokud ho nenajdeme, separátor neudìlá vùbec nic a~obì
-tvrzení lemmatu zøejmì tedy platí. Øeknìme, ¾e $x_m$ je maximum
+(i) Nejprve nahlédneme, ¾e lemma platí, je-li vstupem èistì bitonická
+posloupnost. Tehdy najdeme nejmen¹í~$k$ takové, ¾e $x_k$ a~$x_{k+{n/2}}$
+se prohodí. (Pokud takové~$k$ neexistuje, separátor pouze zkopíruje
+vstup na výstup a~obì tvrzení lemmatu zøejmì platí.)
+Øeknìme, ¾e $x_m$ je maximum