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?