Prop: Proved subseq_tranisitive.