Лемма Вэлианта-Вазирани. И ее \( \bigoplus \)-версия. Операции с числом выполняющих наборов и следствия из них. \( \bigoplus \)-версия леммы Вэлианта-Вазирани для полиномиальной иерархии.