Rationality of holomorphic vertex operator algebras

We prove that if V is a unitary simple holomorphic vertex operator algebra of CFT type, then V is rational, that is, all N-gradable V-modules are direct sums of copies of V.