Cтраница 4
Этим заканчивается доказательство предложения 2 для случая тензорных степеней и сумм. Аналогичным образом проводится доказательство для случая симметрических и внешних степеней и сумм. [46]
На этом доказательство предложения 4.2 завершается. [47]
На этом доказательство предложения 4.5 заканчивается. [48]
Этим завершается доказательство предложения и обоснование алгоритма Адлемана. [49]