Изменения

Утверждение '''Теорема теоремы Лаутемана''' (Sipser–Lautemann theorem или Sipser–Gács–Lautemann theorem) утверждаетсостоит в том, что класс [[Класс BPP | BPP]] содержится в классах [[Классы Sigma_i и Pi_i|<math>\Sigma_2</math> и <math>\Pi_2</math>]] [[Полиномиальная иерархия | полиномиальной иерархии]].