m,a,bが互いに素である: a,bの少なくとも1つがmで割り切れない

その通りですね。