added lemma stating that T preserves pseudo kernels
proved lemma that shows T preserves pseudo kernels