Equivalence between rationality and modular invariance under $C_2$-cofiniteness

We prove that for a simple and $C_2$-cofinite vertex operator algebra, the rationality is equivalent to the modular invariance of the space of complete ordinary one-point trace functions of its irreducible modules. This proves a conjecture given by Dong-Ren in \cite{DongRen}, which is also the inverse theorem of Zhu's modular invariance theorem \cite{Zhu}.