Изменения

Претензии по сути:

1) вступление; я его не очень поняла; что значит, что "программы получают доступ к генератору случайных чисел" и зачем это надо?

3) Доказательство этой теоремы. Почему <tex>R_i</tex> дизъюнктны?

По оформлению: вот опять же лично мне не нравится такой псевдокод, как-то непривычно после if видеть двоеточие.