Prove multiplication closure for the sequence of 1,4,7,10.... I am reading the following problem:

If S = ${1, 4, 7, 10, 13, 16, 19, ...}$ and $a \in S\space$ and $b\in
 S \space$ then if $a = b\cdot c\space$ prove that $c \in S$

My approach:
The elements of $S$ are of the form $1 + 3n\space$ so $a = 1 + 3\cdot x\space$ and $b = 1 + 3 \cdot y\space$ and $x = y + j\space$ for some $j >= 1$
If $a = bc \implies c \mid a \space \And \space b\mid a$
Now $b \mid a \implies (1 + 3y)\mid (1 + 3x) \implies (1 + 3y) \mid (1 + 3(y + j)) \implies (1 + 3y) | (1 + 3y + 3j) \implies (1 + 3y) | (1 + 3y) + 3j$
Since $1 + 3y \mid (1 + 3y) \implies (1 + 3y) \mid 3j$ and we keep that.
Now we know that
$$c = \frac{a}{b} = \frac{1 + 3x}{1 + 3y} = \frac{1+3(y + j)}{1 + 3y} = \frac{1 + 3y + 3j}{1 + 3y} = \frac{1 + 3y}{1 + 3y} + \frac{3j}{1+3y} = 1 + \frac{3j}{1 + 3y}$$
But we have shown that $1 + 3y \mid 3j \implies 3j = k(1 + 3y)\space$ where $1 + 3y$ is a positive integer.
Hence $$c = 1 + \frac{k(1 + 3y)}{1 + 3y} = 1 + k$$
But now I am stuck because I need to show that $k$ is a multiple of $3$ to finish the proof and I am not sure how to do that.
I know that $$k = 3\frac{j}{1 + 3y}$$ but the $\frac{j}{1 + 3y}$ is not an integer I think so I a messing up somewhere.
Update:
Following the comment of @Infinity_hunter
Let $c = r + 3k\space$ for some $r >= 1$. We have:
$$c = \frac{a}{b} = \frac{1 + 3x}{1 + 3y} = 1 + \frac{3j}{1 + 3y}$$
This was shown earlier.
But
$$c = r + 3k = 1 + \frac{3j}{1 + 3y} $$
We know that  $$\frac{3j}{1 + 3y}$$ since we have shown that $1 + 3y \mid 3j$ so let $\frac{3j}{1 + 3y} = p$
So we have:
$c = r + 3k = 1 + p \implies c = r - 1 - p + 3k \implies c = (r - 1 - p) + 3k$
And I am not sure how to progress from here.

Take $c = r + 3k_1, a = 1 + 3k_2$ and $b = 1 + 3k_3$ where$k_1,k_2,k_3 $ and $r$ are integers. By Division theorem we can chose $r$ such that $r =0,1 $ or $2$. Now we know that $a = bc$ so
$$3k_2 + 1 = (r+3k_1)(1+3k_3) = r + 3k_3r+ 3k_1 + 9k_1k_3$$
So by rearranging terms we have
$$ 1 - r = 3( k_3r + k_1+3k_1k_3 - k_2)$$ which implies that $3$ divides only $1-r$ which is possible only when $r=1$.
