Создание противника для игры PRF

Вот игра:

Как я могу сделать $\mathcal{О}(к^2)$- раз противник делает только один запрос к своему Фн оракул и достижение преимущества $= 1 - 1/(p-1)$

Вот моя идея на данный момент: запрос $2^{-1}$, который при прохождении алгоритма шифрования вернет 1. Итак,

Противник А:
С <- Fn(2^{-1})
если C == 1 вернуть 1
иначе вернуть 0

Когда мы запрашиваем 2^{-1}: \начать{выравнивать} Y_1 &= (2^{-1})^e &\bmod p \ Y_2 &= 2^e &\bmod p \ Y &= (2^{-1}\cdot 2)^e &\bmod p \ &= 1^е &\bmod p \ &= 1 \text{ (для всех e)} \end{выравнивание}

Это разрешено? Можно ли запросить $2^{-1}$. Я предполагаю здесь, что $2^{-1}$ в $Z_p$ так долго как $2$ является относительно простым.

Прав ли этот Противник?