Hola, se me presentó realizar la siguiente demostración y quería saber si el razonamiento que usé para demostrarla es correcto.
"Demuestre que si a, b y c son enteros para los cuales a/b y b/c entonces a/c"
Demostración:
Dado que por hipótesis a, b y c son enteros de los cuales el cociente de a/b y b/c son otro entero, se puede escribir a/b=x y b/c=z
efectuando la siguiente operación (a/b)(b/c)=a/c (Ya que b está multiplicando y dividiendo).
Visto de otra manera a/c es el producto de dos enteros (x)(y)=a/c y por propiedades de enteros el producto de dos enteros es otro entero se demuestra que a/c es un entero.
¿Está bien demostrado así o hay fugas en esta demostración?