/sci/ - Science & Math

For proof of problem 1, why not just state that given the assumption that a|b and b|c, then by definition a is a factor of b and b is a multiple of a, therefore there exist an m as an element of integers such that a(m)| c. Seems like a much faster way to prove this unless I have any holes in what I'm writing