Step * of Lemma gcd_p_neg_arg_2

a,b,y:ℤ.  (GCD(a;b;y) ⇐⇒ GCD(a;-b;y))
BY
Auto }

1
1. : ℤ
2. : ℤ
3. : ℤ
4. GCD(a;b;y)
⊢ GCD(a;-b;y)

2
1. : ℤ
2. : ℤ
3. : ℤ
4. GCD(a;-b;y)
⊢ GCD(a;b;y)


Latex:


Latex:
\mforall{}a,b,y:\mBbbZ{}.    (GCD(a;b;y)  \mLeftarrow{}{}\mRightarrow{}  GCD(a;-b;y))


By


Latex:
Auto




Home Index