証明されてないと答えにならないと主張する奴は
四則演算が正しいことを証明してから使えよ