証明の第一歩は群の元に関する和を集合の元に関する和に書き直すことである(二重数え上げ)。(ここで={}は群の元で固定されるのすべての元からなる集合で={}は集合の元を固定するのすべての元からなる固定群である。)軌道・固定群定理により集合の各元の軌道={}と固定群による左剰余類の間には自然な全単射がある。ラグランジュの定理と合わせると次を得る。したがって最初の等式の右辺にある集合の元に関する和を次のように書き換えることができる。最後に集合は軌道の直和であることに注意すれば直前のに関する和は各軌道に関する和へ分解できる。すべてをまとめれば目的の結果を得る。歴史.雨の日のブルース概要.前作まで林春生が作詞を担当していたが、本作では橋本淳が作詞を担当している。筒美京平は本作を手掛けるにあたり、ザ・ベンチャーズ作曲の『京都の恋』を意識したメロディーにしながらも、アレンジはエレキギターをフィーチャーするのではなく、ホーンとストリングスを前面に使用して作品を完成させている。収録アルバム.他多数さいはて慕情概要.収録アルバム.他多数歴史.来歴.米国への親善訪問.映画への出演.国際地学オリンピック概要.日本からの参加.プレフィックスコードプレフィックスコード()プレフィックス・コード首飾り(小説)あらすじ.米兵轢き逃げ事件本件は、刑法分野における因果関係について、従来、通説と異なる判断を行ってきた最高裁判所が、通説に近い判示をしたとして注目される事件でもある。事案の概要.事実.裁判.罪状.原々審.被告人側が控訴した。原審.被告人側が上告した。最高裁判所.最高裁判所第三小法廷は、被告人側の訴えを棄却することを、全員一致で決定した。しかし本件では、被告人は、救護義務違反の罪にも問われており、かつ、業務上過失致死と同傷害の法定刑は同一であるため、「被告人の刑責が業務上過失傷害にとどまるにしても、本件犯行の態様等からみて、一審判決のした量刑は不当とは認められないから、右あやまりは、いまだ原判決を破棄しなければ、著しく正義に反するものとはいえない。」とし、原審の量刑判断を支持した。意義.