最後の条件よりformula_12は線形汎関数formula_13の延長であることが分かる。