Category:Applications of characteristic of normal implies normal