Důkaz dělitelnosti
Dokaž následující tvrzení přímým důkazem:
\( ∀ n ∈ \mathbb{N} \) je \( \large n^{4}-n^{2} \) dělitelné 12
\( \large n^{4}-n^{2}\left |12 \rightarrow n^{4}-n^{2}\right |2 \land n^{4}-n^{2}\left | 6 \)
\( \large n^{4}-n^{2}\left |12 \rightarrow n^{4}-n^{2}\right |8 \land n^{4}-n^{2}\left | 9 \)
\( \large n^{4}-n^{2}\left |12 \rightarrow n^{4}-n^{2}\right |3 \land n^{4}-n^{2}\left | 4 \)
\( \large n^{4}-n^{2}\left |12 \rightarrow n^{4}-n^{2}\right |5 \land n^{4}-n^{2}\left | 7 \)