exp(iqr)|ψk〉=|ψk+q〉ってどう示せばいい?
|ψk〉はブロッホ関数