I have a question about divisibility and and division algorithm:
if C = Ax + By, D|C and D|B then D|A? I thought yes, because C is a combination of A and B, and if D divides B and C, then it must divide A. This is true? If so, how can I justify (mathematically) Thanks.