Изменения

Используем индукцию по t, чтобы доказать, что лемма выполняется для любого <tex>t = 0, 1, \dots , t_f </tex> для некоторых <tex>\mu</tex> и <tex>\delta</tex>(зависящей только от <tex>k, A , \nu </tex>) такой, что <tex> \delta < 1 </tex>. Это может быть верным только если модули сепараторов используемые в сети достаточно хорошие. При условии, что все эти сепараторы (за исключением того, кторый используется в корне в момент времени <tex>t = 0 </tex>) имеют одинаковые параметры <tex>\varepsilon_B, \delta_F, \varepsilon_F </tex> а у того сепаратора, который в корне, вместо <tex>\varepsilon_B </tex> будет <tex>\varepsilon^*</tex>, мы подберем ограничения на <tex>\mu, \delta, \varepsilon_B, \delta_F, \varepsilon_F, \varepsilon </tex> так, что можно будет проделать индукцию по <tex>t </tex>.