一次同余式ax=b(modm)有解的充分必要条件是