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