AとBが正の整数でA>Bのとき
　dがAとBの公約数ならdはBとA-Bの公約数
　dがBとA-Bの公約数ならdはAとBの公約数
この2つがいえたら
　gcd(A,B)=gcd(B,A-B)
を示したことになるのでしょうか。