辗转相除法的推理过程，用作推导两个数的最大公约数。