>>545
位数に関する初等的な証明もあるけど、
ブラウアー群を計算するのが一番簡単
なんじゃないかな。