Формула следа Гротендика – Лефшеца