Доказано, что формы$$\gather\varphi _4^7=x_1^2+\dots +x_7^2+x_1x_2+\dots +x_6x_7-{1\over 2}\{x_1x_2+x_3x_4+x_3x_5+x_4x_5+x_6x_7\},