hopf trace theorem