ここは何処……？いまは何時なんだ……？

何か一気に証明できないものでしょうか……そこで登場するのは結合法則「（ｋ＋ｍ）＋ｎ＝ｋ＋（ｍ＋ｎ）」の証明や簡約法則「ｋ＋ｎ＝ｍ＋ｎ ならばｋ＝ｍ」の証明、交換法則「ｍ＋ｎ＝ｎ＋ｍ」の証明です。なかなかやるものですね。とはいえ、これも同じ要領で彼には通じません。そう……「それはどのようなことか？実際に計算して見て欲しい」という魔の質問です。しかも、これは正当な質問です。というのも、足し算の一般的定義を使って足し算ができなかったらそれはもう破綻しているからです。なので、憂鬱ですが答えないといけないわけです。計算をもって。たぶん石を投げつけたらいい音出ると思うんですよね。