  We derive Verlinde's formula from the fixed point formula for loop groups
proved in the companion paper "A fixed point formula for loop group actions",
and extend it to compact, connected groups that are not necessarily
simply-connected.
