𝒗& 𝑡, 𝒙 , 𝒖% 𝒙 = & 𝒗& 𝑡, 𝒙 , 𝒖% 𝒙 , ∫ 𝒖% 𝒙|𝒙( 𝑝% 𝒙|𝒙( 𝑞 𝒙( 𝑑𝒙( 𝑝% 𝒙 𝑝% 𝒙 𝑑𝒙 = & 𝒗& 𝑡, 𝒙 , 𝒖% 𝒙 , & 𝒖% 𝒙|𝒙( 𝑝% 𝒙|𝒙( 𝑞 𝒙( 𝑑𝒙( 𝑑𝒙 = & & 𝒗& 𝑡, 𝒙 , 𝒖% 𝒙 , 𝒖% 𝒙|𝒙( 𝑝% 𝒙|𝒙( 𝑞 𝒙( 𝑑𝒙( 𝑑𝒙 = 𝔼, 𝒙" , *# 𝒙|𝒙" 𝒗& 𝑡, 𝒙 , 𝒖% 𝒙|𝒙( ② 𝒖% 𝒙 ', 𝒖% 𝒙|𝒙( ' は 𝜃 に⾮依存 ⟹ ③ ①, ②, ③ より, ℒ#) 𝜃 = ℒ!#) 𝜃 + 𝑐𝑜𝑛𝑠𝑡 ∎ 𝔼*# 𝒙 𝒖% 𝒙 ', 𝔼, 𝒙" , *# 𝒙|𝒙" 𝒖% 𝒙|𝒙( ' は定数