Proof Writing · Medium problem

A student writes a direct proof of "If $a \mid b$ and $b \mid c$, then $a \mid c$." What should the first line of the write-up assume?