计算机软件若x模a余r，模b余r，模c余r，且x有解，则abc三者的关系是（A）