quillen-lichtenbaum conjecture