---

Step * of Lemma gcd_sq_exists_anne

n,m:.  (g:{| GCD(m;n;g)})
BY
{ (D 0 THENA Auto) }

1
1. n : @i
 m:. (g:{| GCD(m;n;g)})


\mforall{}n,m:\mBbbN{}.    (\mexists{}g:\{\mBbbN{}|  GCD(m;n;g)\})


By

(D  0  THENA  Auto)



Home Index