\[a < b \Longrightarrow - a > - b\]
\[c < 0:\]
\[- a > - b\ \ \ | \cdot ( - c)\]
\[\Longrightarrow ac > bc \Longrightarrow ч.т.д.\]