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