>>562
> 3x ≡ 4 (mod 7)
> => 15x ≡ 20 (mod 7)
> => x ≡ 6 (mod 7)
3の逆元を求めているんだろうけど大きい数字だと
与式をｋ倍したり、恒等式を足したり引いたりして
mod n　のnがn±1になるように頑張る

別解
6x ≡ 8 (mod 7) x2
7x ≡ 7 (mod 7) 恒等式
x ≡ -1≡6 (mod 7) 二式を引き算