K-theory theorems in topological cyclic homology - Dundas, Bjørn Ian (1995)