a,bはa＜bをみたす実数定数，f(x)，g(x)はxについての連続な関数である．このとき，以下のxについての方程式は，区間a≦x≦bに必ず実数解をもつことを示せ．
∫[a,b]f(x)g(t)dt=∫[a,b]f(t)g(x)dt