Pauli exclusion principle main points