KINGが人間ではない証明
I=0のとき
K0NG=ごりら
よって成立。
I=O-1のとき人間でないと仮定する。
I=Oのとき
KONG=ごりら
よってI=Oのときも成り立つ
∴証明された〃