Step * of Lemma divides-iff-gcd

x,y:ℤ.  (x ⇐⇒ gcd(y;x) x ∈ ℤ)
BY
Auto }

1
1. : ℤ
2. : ℤ
3. y
⊢ gcd(y;x) x ∈ ℤ

2
1. : ℤ
2. : ℤ
3. gcd(y;x) x ∈ ℤ
⊢ y


Latex:


Latex:
\mforall{}x,y:\mBbbZ{}.    (x  |  y  \mLeftarrow{}{}\mRightarrow{}  gcd(y;x)  =  x)


By


Latex:
Auto




Home Index