pairing of K-theory with cyclic cohomology, quantum Hall effect