普通の数（自然数）の足し算は、
１＋１＝２
１＋２＝３
２＋２＝４
・・・
であり、例えば、ミカンの個数を足したらいくつになるのか計算する際に使えます。
自明な群とは、簡単にいうと、すべての数が０と等しいという状況。
０＝１＝２＝３＝・・・
が成り立つと考えてください。
自明な群の演算は
０＋０＝０
しかありません。
この自明な群は、プロレスラーの天山・小島（タッグ名テンコジ）の名言
「1＋1は2じゃないぞ。オレたちは1＋1で200だ。10倍だぞ10倍」
の分析に適用できます。
次の定理が成り立つ。
定理：（天山・小島）
プロレスの実力を自明な群と仮定すると、
「1＋1は2じゃないぞ。オレたちは1＋1で200だ。10倍だぞ10倍」
証明：
計算ミスがないことの証明すれば定理の証明として十分であろう。
定説では、100倍と言うべきところを10倍といい間違えた、と言われているが、
プロレスの実力を自明な群と仮定すると、
すべての数は0であるので
「0＋0は0じゃないぞ。オレたちは0＋0で0だ。0倍だぞ0倍」
となり、
「0＋0は0じゃないぞ。」
の部分が不合理である。
つまり、
「1＋1は2じゃないぞ。」
のみが不合理であるが、これは文脈から推測すると意図的であり、決して計算ミスではない。
□
上記の定理は、プロレスの実力を自明な群であると仮定している。一方、テンコジの発言は何の仮定もない。よって、上記定理は不十分であり、自明な群を仮定せずに再度、証明しなおす必要があろう。
次回、自明な群を仮定せずに
「1＋1は2じゃないぞ。オレたちは1＋1で200だ。10倍だぞ10倍」
を証明します。
続く。
読んでくれてありがとうございます。
