We apply fact twice, to the situation given by s1,s2 and to the situation given by s2,s3, and we obtain