Пусть

равно числу симметричных

матриц из нулей и единиц, в которых строки отсортированы лексикографически (или, другими словами, числа в двоичной системе счисления представляемые строками матрицы не убывают). Положим

.
Аналогично, пусть

- это число таких матриц с нулями на главной диагонали. Докажите, что для всех целых

:
1)

;
2)

равно числу наборов

из целых чисел

удовлетворяющих неравенствам

для всех

.
(A016121)