Что если f лежит в классе, порождаемом функциями w, b и r и при этом мажорируется такой k, что для всех наборов с нечетный числом единиц, кроме, быть может, трех функция, полученная из k подстановкой нулей на те места, где стояли единицы в данных наборах, не лежит в классе, порожденном d _17 с константами, то при отождествлении любых ровно трех переменных f мы не получим функцию, хотя бы на 2^n-2 наборах принимающую не меньшее значение, чем конъюнкция, существенно зависящая от n+s переменных, где s - число переменных, от которых существенно зависит максимум из w, b и d_13.