My teacher has given my class a challenge task: to prove the following implication:

Let and be integers such that and .

Prove: If is prime, then there exists an integer such that

the following identity was given to us to use:

Let and be integers and , then

<------ note, there should be a on the top of the