>

>p1: x = 2 (mod 3)

>p2: x = 3 (mod 5)

>p3: x = 2 (mod 7)

>

>

>From p1, x = 3t

> 2, for some integer

>t. Substituting this into p2

>gives 3t = 1.

>--

>

>I see that

>x = 3t + 2 =

>5s + 3, which

>gives,

>3t - 5s = 1, but

>how does that yield

>3t = 1 ?

>If x = 3t + 2 and x = 3 (mod 5) then

3t + 2 = 3 (mod 5), or

3t = 1 (mod 5).

This is what substitution is about. Or you can refer to the transitive law:

if A = B and B = C, then A = C.

It matters not whether the equality here is the "real" equality or equality modulo some number.

You may also continue in your way. Except that you should note that what is asserted is that

3t = 1 (mod 5)

(Now that I had a look at the page, it really says "3t = 1", which is of course not true. I am going to fix this. You have my appreciation for detecting the mistype.)

3t - 5s = 1 is true in general, but modulo 5 we get

3t = 1 (mod 5)

since obviously 5s = 0 (mod 5).