Pauli exclusion principle
formula_9かのどちらかである。これをパウリの排他原理と呼ぶ。