F(z,z')=( 1 / (z+z') )( G(z) + G(z') )
を逆ラプラス変換すると
f(t,t')=( 1 / 2 ) ( g(t-t') + g(t'-t) )
になるらしいのですが、これはどうやって証明するのですか?