Следствие 2 (Теоремы 3)
Треугольник Гильбрайта, в основании которого находятся простые числа:
![$2, 3,…p_r$ $2, 3,…p_r$](https://dxdy-02.korotkov.co.uk/f/5/3/f/53f937db7fc020148d567efa62349f3282.png)
и далее подпоследовательность натуральных чисел ПСВ
![$_M$ $_M$](https://dxdy-04.korotkov.co.uk/f/f/7/a/f7a7d2d183e2ce2a847ed90caf16048f82.png)
, начиная с простого числа
![$p_{r+1}$ $p_{r+1}$](https://dxdy-01.korotkov.co.uk/f/4/5/e/45ec985c6355d6ee6e9f5c792767719f82.png)
, будет содержать строку, состоящую из одних нулей.
Доказательство.
В этом случае, подпоследовательность натуральных чисел в основании треугольника Гильбрайта, начиная с простого числа
![$p_{r+1}$ $p_{r+1}$](https://dxdy-01.korotkov.co.uk/f/4/5/e/45ec985c6355d6ee6e9f5c792767719f82.png)
полностью совпадает с ПСВ
![$_M$ $_M$](https://dxdy-04.korotkov.co.uk/f/f/7/a/f7a7d2d183e2ce2a847ed90caf16048f82.png)
. Поэтому первые и последующие разности в Треугольнике Гильбрайта, с номерами больше r, полностью совпадают с аналогичными разностями в треугольнике Гильбрайта с основанием ПСВ
![$_M$ $_M$](https://dxdy-04.korotkov.co.uk/f/f/7/a/f7a7d2d183e2ce2a847ed90caf16048f82.png)
, а следовательно, и со строкой разностей, содержащей нули ч.т.д.
В качестве примера на рис.4 рассмотрим треугольник Гильбрайта с основанием: 2, 3, 5 и далее ПСВ
![$(M=90=2*3^2*5)$ $(M=90=2*3^2*5)$](https://dxdy-03.korotkov.co.uk/f/6/5/2/652e758df8dafe76eab185216a012d0882.png)
2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 49 53 59 61 67 71 73 77 79 83 89 91
1 2 2 4 2 4 2 4 6 2 6 4 2 4 2 4 6 2 6 4 2 4 2 4 6 2
1 0 2 2 2 2 2 2 4 4 2 2 2 2 2 2 4 4 2 2 2 2 2 2 4
1 2 0 0 0 0 0 2 0 2 0 0 0 0 0 2 0 2 0 0 0 0 0 2
1 2 0 0 0 0 2 2 2 2 0 0 0 0 2 2 2 2 0 0 0 0 2
1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2
1 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2
1 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2
1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Рис.4 Треугольник Гильбрайта с основанием: 2, 3, 5 и далее ПСВ
![$_{90}$ $_{90}$](https://dxdy-04.korotkov.co.uk/f/7/e/c/7ec48b07c8bab1a179d3f8559732db2982.png)