Lichtenbaum conjecture