The TX-Oriented Lemmas