どうやって演算した答えが正しいと証明できたんだろう。