For any integer and if and only if

Let P:

and .

I have no trouble proving .

I have trouble with .

I am doing it by showing that if , then or equivalently,

, where and 1 . It doesn't look too good.

How do you prove ?

For is it okay to prove to get the contradiction?