>>832
略してもあかん
選択公理で出鱈目に選んだ関数でできたθ(x,η,h)<1) はηの関数として可積分とは限らない
するとθから作られた合成関数∂x Q(x+θ*h , η) をηに関して積分できない
ならば

=∫【y→p】 ∂x Q(x+θ*h , η) dη (0<θ(x,η,h)<1)

という式は何ら数学的意味を持たない
この行が入ってる限り証明は失敗するしてる