. . "Note also that if anything bigger than d was a common divisor of m and m+n, then this larger divisor would also divide , so it would be a common divisor of m and n ??? but we already know that d is the greatest common divisor of m and n." . .