No need of a projection, a contrapositive is enough.
If s1=s2 then, by definition of a function, t1=t2. Its contrapositive is: if t1≠t2 then s1≠s2.
Maison