\[a < b\ \ \ \ \ \ | \bullet c\ \ \ \ \ \ \ \ \ \ \ \ c < d\ \ \ \ | \cdot b\]
\[ac < bc\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ bc < bd\]
\[ac < bc < bd\]
\[ac < bd \Longrightarrow ч.т.д.\]