>>843
2x≡4(mod2)→x≡2(mod 2)は間違えですよね

xはなんであれ答えになりますから
互いに素でない場合は割れないんです