소수 p는 7k+1 꼴이다. 

m^3 + m^2 -2m - 1이 p의 배수인 정수 m이 존재함을 증명하시오.
힌트: 잉여역수