Grothendieck–Lefschetz formula