Quantum Spin-Hall effect, quantization, index, Fredholm operators