Изменения

Если же <tex>u \notin F \hspace{2 mm} \& \hspace{2 mm} u \notin B</tex>, мы применим операцию <tex>insert</tex>, и <tex>u</tex> запишется в

<tex>F</tex> или <tex>B</tex>, в зависимости от того, выполняется ли условие леммы.