added lemma showing T preserves monos