formula_8はコヒーレント状態で、消滅演算子の固有状態である。