Observe that 2891=72×59. If one of x,y is divisible by 7, then so is the other one, and it follows that 73 divides 2891, a contradiction. Since 7|y, there exists z such that yz≡1 (mod 7). Multiplying by z3 and denoting xz=t , we obtain t3−3t+1≡0 (mod 7).