\[= 9n + 18 = 9 \cdot (n + 2) \rightarrow\]
\[делится\ на\ 9\ без\ остатка,\ \]
\[так\ как\ один\ из\ множителей\ \]
\[равен\ 9.\ \]
\[Что\ и\ требовалось\ доказать.\]