求证:如果p是奇素数,那么任何能整除2^p-1的素数q都一定+/-1(mod 8)同余