The Horrible lemma

なんか変な名前の補題です。ヤバイ補題という名前だとでも言うのか

 うちの大学のサークルでなんか発表会みたいなのがあって、そんなかでthe horrible lemmaとか言うのが出てきたのでここで紹介します。そんなに難しい補題では無いです。発表会ではべつの方法で証明していたのですがここでは位取り記数法を用いた証明を載せときます。

この定理はネーターの正規化定理の証明やらに使えるそうです。