Изменения

=== Утверждение теоремы ===

<tex>\text{NL} = \text{coNL}</tex>

=== Доказательство ===

Решим задачу <tex>\text{STNONCON}</tex> (''s-t non connectivity'') на логарифмической памяти и покажем, что <tex>\text{STNONCON} \in \text{NL}</tex>.