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