\[Значение\ выражения\ \]
\[не\ зависит\ от\ x,\ поэтому\ \]
\[равно\ 9\ при\ любом\]
\[значении\ переменной.\]
\[Что\ и\ требовалось\ доказать.\]