Para todos los números enteros a, b, y c: Si a|b y a|c entonces a|(b − c). Creo que esto es cierto y, así, es la prueba de que tengo: Desde a|b, entonces b=ak para algunos k en números enteros Desde el a|c entonces c=al de algunos l en números enteros Debo mostrar que b-c puede ser escrito como una * algunos entero entonces b-c sería ak-al = a(k-l) y puesto que los enteros son cerrados bajo la resta k-1 es un entero Y por lo que he mostrado b-c para ser un*algunos entero
Mi amigo dice que esto es falso si a,b y c son los mismos números porque entonces acabaría con a|0, lo que él dice que no es cierto. Estoy haciendo este derecho?