Talk:Grothendieck trace theorem