Brushed up.

不変量のサンプルプログラムを追加。
コメントを増強。
変数名を整理。