INTEGERSインテジャーズスマートフォン用の表示で見るINTEGERS数、特に整数に関する記事。3.5)を証明します。対して条件を満たすと仮定する。エネルギーギャップ条件を満たすようなものとする。存在して、エネルギー増加が生じる。非負値有界関数であることに注意する。成り立つようにできることがわかる(一つとって固定する)。有界性が従う(非負値とは限らない)。-ノルムの三角不等式によりと評価できる。条件付き期待値作用素をとっても積分値は変わらなかったので、である。あればダイコトミーの(成功)が成立することになる。よって、と仮定して(エネルギー増加)を示す。有界であることに注意)。