T_1^c\cap\cdots\cap T_k^c\cap\{a_1,\dots,a_{2^k}\}\neq\emptyset