ここで φ は "x" 内の任意の函数である。