Assuming:
Theorem 2.2.
-
2
>
p
Then: