T_1^c\cap\cdots\cap T_k^c\cap T^c=\emptyset