for NT being normal NTopSpace holds NTop2Top NT is normal