Step * of Lemma rem_addition

[i,j:ℕ]. ∀[n:ℕ+].  (((i rem n) (j rem n) rem n) (i rem n) ∈ ℤ)
BY
Auto }

1
1. : ℕ
2. : ℕ
3. : ℕ+
⊢ ((i rem n) (j rem n) rem n) (i rem n) ∈ ℤ


Latex:


Latex:
\mforall{}[i,j:\mBbbN{}].  \mforall{}[n:\mBbbN{}\msupplus{}].    (((i  rem  n)  +  (j  rem  n)  rem  n)  =  (i  +  j  rem  n))


By


Latex:
Auto




Home Index