>>931
証明という言葉をどういう意味で使ってるのかは知らないが
積分したものを微分して被積分関数に戻れば
それで問題ない