この証明は、外部ポテンシャルが においてテイラー展開可能であるという仮定に強く依存している。さらに、密度分布が無限遠において消失することも仮定しているため、有限系においてのみ有効である。
ルンゲ・グロスの証明は、まず外部ポテンシャルと密度分布の流れ、すなわちとの間に一対一対応があることを、ハイゼンベルクの運動方程式を確率流束に対して適応し、確率流束の時間微分を外部ポテンシャルの空間微分と関連づけることにより示す。次に、連続の方程式を用いて電子密度分布の時間微分と外部ポテンシャルの時間微分とを関連づける。
二つのポテンシャルが空間非依存項以上異なり、かつテイラー展開可能であるという仮定から、
が空間に対して定数ではないような整数 が存在することが導かれる。以降に実際の証明を示す。
電子密度分布および確率流束は次の形の連続の方程式により関連づけられている。
が成り立つと仮定し、これを全空間積分してグリーンの定理を適用すると次を得る。
拡張.
西勝原第二発電所
設備構成.
歴史.
送電線は武生の自社硫安工場（現・信越化学工業武生工場）との間に建設された。従って西勝原発電所の発生電力は主として硫安工場に送電されたが、越前電気や京都電灯福井支社といった周辺事業者にも供給された。
ジェノヴァ (曖昧さ回避)
歴史.
ドイツ・バルト圏期.
ロシア化期.
エストニア独立期.
ソ連期.
エストニア独立回復後.
旧天文台.
新天文台.
設備.
正観寺 (菊池市)
正観寺（しょうかんじ）は、熊本県菊池市隈府にある臨済宗南禅寺派の寺院である。山号は熊耳山（ゆうじさん）。本尊は釈迦如来。
由緒.
寺格は菊池五山より上の別格とした。菊池為邦の頃には臨済宗の十刹の一つにも数えられた。境内に十四房、末寺を十数寺以上の抱え栄えていたが、菊池氏の衰退と共に衰えた。
ドルパト天文台
ディスプレイアダプタ.
Altコード.
文字セット.
脚注.
Unicodeに変換するときには一部のコードは一対一にUnicodeで対応するものがないことに気を付けるべきである。何が正しい選択かは状況による。
歴史.
表示文字の選ばれ方に関する内部規則がある。
国際化.
来歴.
人物.
就寝前にTwitterに「こえにっき」を投稿することを日課にしている。
愛猫家であり、三匹の猫（ちくわ、さしみ、わさび）を飼っている。