Category:Identity Mapping is Continuous