Slater determinant
スレイター行列式Φ0はformula_13の固有状態であるため、以下が示される。