Euclid欧几里得(求两个数的最大公约数)

#include <iostream>
#include <cstdio>
#include <cassert>
using namespace std;

int gcd(int m,int n);
void main()
{
  int result=gcd(24,12);
  cout<<result<<endl;
}
int gcd(int m,int n)
{
  int r;
  assert(m>0 && n>0);
  while ((r=m % n) !=0)
  {
    m=n;
    n=r;
  }
  return n;
}

​​论证Euclid欧几里得方法的正确性​​