Im new to the forum so im not sure if im posting in the right section but ive been stuck on this problem for days however im not sure on how to even go about it. I would at the very least need some advice on how to tackle this problem.

Claim: For every pair of positive natural numbers (m, n), if m >= n, then gcd(m, n) = gcd(n, m-n)

Thanks in advance