Ak zapíšeme vzorec pre vypočítanie $det(A)$, je očividné, že determinant bude celé číslo:Nech $A$ je matica typu 7 × 7, ktorej prvky sú nepárne celé čísla. Ukážte, že
$|A|$ je celé číslo a ďalej, že $|A|$ je celočíselný násobok čísla 64.
$\sum_{i=1}^7 a_{1i} * a_{2i+1} * a_{3i+2} * ... * a_{7i+6} - $ $\sum_{i=7}^1a_{1i} * a_{2i-1} * a_{3i-2} * ... * a_{7i-6}$
(Súčin $Z$ je $Z$, súčet $Z$ je $Z$)
Pre druhú časť, $det(A)$ je $64p$, $p \in Z$:
K riadkom $R_2 ... R_7$ pripočítame $R_1$, pričom determinant sa nemení (podmienka determinantu pre ERO typu 3):
Súčet dvoch nepárnych čísel je párne číslo, takže riadky $R_1 ... R_7$ môžeme vydeliť dvomi, a všetky čísla matice budú $\in Z$, pričom $ 2^6 det(A') = det(A)$ (podmienka determinantu pri násobení na $c$), kde $A'$ je matica po vydelení riadkov dvomi.
Keďže všetky prvky matice $A' \in Z$, $det(A) \in Z$, ako sme ukazovali vyššie. Z rovnosti $64 det(A') = det(A)$ je vidieť, že $det(A)$ je celočíselný násobok čísla 64.