>>836
exp[iq(r+R)]|ψk(r+R)〉
=exp[iq(r+R)]exp(ikR)|ψk(r)〉
=exp[i(k+q)R]exp(iqr)|ψk(r)〉

exp(iqr)|ψk(r)〉をみると、Rだけ並進した時に
因子exp[i(k+q)R]がつく関数ってことがわかるから、
これは|ψk+q(r)〉だよねってことだと思う