---

Step * 1 1 1 of Lemma cube-mod-9


1. r : {-8..9-}
⊢ ((r^3 mod 9) = 0 ∈ ℤ) ∨ ((r^3 mod 9) = 1 ∈ ℤ) ∨ ((r^3 mod 9) = 8 ∈ ℤ)
BY
{ (IntSegCases 1 THEN Auto) }

---

Latex:

---

Latex:

1.  r  :  \{-8..9\msupminus{}\}
\mvdash{}  ((r\^{}3  mod  9)  =  0)  \mvee{}  ((r\^{}3  mod  9)  =  1)  \mvee{}  ((r\^{}3  mod  9)  =  8)


By

---

Latex:
(IntSegCases  1  THEN  Auto)

---

Home Index