\(S\) の文字を最初から見ていき, 最初に出現した文字を A に, 次に出現した文字を B にという感じで順に変換する. cbca -> ABAC という感じである. これを \(T\) に対しても行う. これも一致しなければやはり \(S\) から \(T\) にはならない.