Gọi a và b là hai số bất kì trong 10 số nguyên dương liên tiếp với a>b (a;b nguyên dương) ⇒1≤a−b≤9
Gọi n là ước chung của a và b, khi đó a=nx;b=ny (n,x,y là số nguyên dương ).
Vì a>b⇒x>y⇒x−y≥1⇔1≤nx−ny≤9⇔1n≤x−y≤9n⇒9n≥1⇔n≤9
Vậy trong 10 số nguyên dương liên tiếp tiếp không tồn tại hai số có ước chung lớn hơn 9