位数が素数の群の構造は巡回群だけですが何故かわかります?