利用 lcm(m,n)⋅gcd(m,n)=mn\operatorname{lcm}(m,n)\cdot\gcd(m,n)=mnlcm(m,n)⋅gcd(m,n)=mn,替换后的两个数是 g:=gcd(m,n)g:=\gcd(m,n)g:=gcd(m,n) 与 mn/g2mn/g^2mn/g2,其乘积为 mn/gmn/gmn/g。每当 g>1g>1g>1 时,新乘积 mn/gmn/gmn/g 严格小于原来的乘积 mnmnmn,故黑板上全部 202620262026 个数的乘积严格减小;每当 g=1g=1g=1 时,替换结果为 (1,mn)(1,mn)(1,mn),总乘积不变,但会多出一个新的 111(因为 m,n>1m,n>1m,n>1 都不等于 111,而 mn>1mn>1mn>1)。