ここでformula_11は真空からのバンド深さであり、電子の仕事関数formula_12を含む。