Slater determinant
以上から、ハートリー・フォック近似によるスレイター行列式により、パウリの排他原理は自動的に満たされていることが分かる。