---

Step * of Lemma div_rem_gcd_anne

m:. n:. g:.  (GCD(m;n;g)  GCD(n;m rem n;g))
BY
{ RepeatFor 3 ((D 0 THENA Auto)) }

1
1. m : @i
2. n : @i
3. g : @i
 GCD(m;n;g)  GCD(n;m rem n;g)


\mforall{}m:\mBbbZ{}.  \mforall{}n:\mBbbZ{}\msupminus{}\msupzero{}.  \mforall{}g:\mBbbZ{}.    (GCD(m;n;g)  \mLeftarrow{}{}\mRightarrow{}  GCD(n;m  rem  n;g))


By

RepeatFor  3  ((D  0  THENA  Auto))



Home Index