  Let V be a simple vertex operator algebra and G a finite automorphism group
of V such that V^G is regular. It is proved that every irreducible V^G-module
occurs in an irreducible g-twisted V-module for some g in G. Moreover, the
quantum dimensions of each irreducible V^G-module are determined and a global
dimension formula for V in terms of twisted modules is obtained.
