Cтраница 3
Важное значение для первой фазы протокола имеет следующее комбинаторное предложение. GL L однозначно определяется соответствующим / ( - мерным вектором FG. Доказательство этого предложения проводится методами теории случайного кодирования. Предложение и его доказательство являются обобщением теоремы 1 из работы Эрдоша и Реньи [3] и ее доказательства. [31]