Term/Unterschiedliche Zeichenreihe/Endliches trennendes Modell/Aufgabe

Es seien ${}s,t$ nicht identische ${}S$ -Terme. Zeige, dass es ein endliches ${}S$ -Modell mit

{}I(s)\neq I(t)\,

gibt.