求证2的5n次方减一的值能被31整除