ヒント
(1)
k=3a+b(kを3で割ったときの商をa余りをbとする)として、b=2を導く。
(2)
(1)の対偶を利用。
4m+5n≡0から、mn≠2 (←≠は≡の否定だと思って❗)(どれもmod 3)
を導けばよいことが分かる。