よって行列要素formula_3が値をもつかどうかで、その遷移が可能であるかどうかが決まる。