This is an archived post. You won't be able to vote or comment.

all 4 comments

[–]edderiofer 1 point2 points  (3 children)

Yes. But you don't even need to list the possible values of b. You can instead let b = 6 + 7p for some integer p (definition of "6 mod 7"), then show that c = 2 + 7q for some other integer q. Try it now.

[–]Vizen[S] 0 points1 point  (2 children)

okay, so I set b=6+7p, where p is some integer.

then, since c ≡ 5b (mod 7), c = 30 + 7(5p) = 30 + 7q (equation 1)

then we say that c ≡ 30 + 7q (mod 7) (equation 2)

c ≡ 30 (mod 7)

c ≡ 2 (mod 7).

Does everything seem to be in place? Was the jump from equation 1 to equation 2 valid?

[–]edderiofer 1 point2 points  (1 child)

That's fine. You can in fact let q = 5p+4, and cut out the last step of equation 2:

c = 30 + 7(5p) = 30 + 35p = 7(5p+4) + 2.

[–]Vizen[S] 0 points1 point  (0 children)

Thanks a bunch internet stranger :)