A Finiteness Theorem for K 2 of a Number Field