But the phase of cleaning will continue at least S(N) steps, so the time of working of BadS is strictly greater than S(N), which contradicts to the definition of the function S(n).
Ale czyszczenie zajmie jej przynajmniej S(N) ktroków, tak więc czas pracy BadS jest z pewnością większy niż S(N), co jest sprzeczne z definicją funkcji S(n).