Beilinson–Lichtenbaum conjecture