Proof that $a\mid b \land b\mid c \Rightarrow a\mid c $