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