  The rationality of the parafermion vertex operator algebra associated to any
finite dimensional simple Lie algebra and any nonnegative integer is
established and the irreducible modules are determined.
