Modular Invariance of a Faithful Normal State