Je dán výraz: \( \mathrm{V}(n)=2 n^{3}+2 n \).
Dokaž, že:

platí \( \forall n \in \mathbb{N} ; 2 \operatorname{IV}(n) \Rightarrow 2 \mathrm{IV}(n-1) \)