证明 gcd(x,y)+gcd(y,z)−gcd(x,y,z)≤y\gcd(x, y) + \gcd(y, z) - \gcd(x, y, z) \leq ygcd(x,y)+gcd(y,z)−gcd(x,y,z)≤y
