---

Step * of Lemma quadratic-residue_functionality

∀a,a',p:ℤ.  ((a' ≡ a mod p) ⇒ (a' is a quadratic residue mod p ⇐⇒ a is a quadratic residue mod p))
BY
{ (UnivCD THENA Auto) }

1
1. a : ℤ@i
2. a' : ℤ@i
3. p : ℤ@i
4. a' ≡ a mod p@i
⊢ a' is a quadratic residue mod p ⇐⇒ a is a quadratic residue mod p

---

Latex:

---

Latex:
\mforall{}a,a',p:\mBbbZ{}.    ((a'  \mequiv{}  a  mod  p)  {}\mRightarrow{}  (a'  is  a  quadratic  residue  mod  p  \mLeftarrow{}{}\mRightarrow{}  a  is  a  quadratic  residue  mod  p))


By

---

Latex:
(UnivCD  THENA  Auto)

---

Home Index