No te se decir si está bien o mal, pero lo que yo haría es:
si a|b entonces b = a.k con k entero
si b|c entonces c = b.k' con k' entero
entonces c = (a.k).k' y por lo tanto es la multiplicación de por otro entero (k.k')
y entonces a|c
No te se decir si está bien o mal, pero lo que yo haría es:
si a|b entonces b = a.k con k entero
si b|c entonces c = b.k' con k' entero
entonces c = (a.k).k' y por lo tanto es la multiplicación de por otro entero (k.k')
y entonces a|c