បង្ហាញថា
(m,n)[m,n]=mn
តាង p ជាចំនួនបឋមដែល
pe=m
pf=n
ប្រសិនបើ e≤f
នោះ
(m,n)=pe
[m,n]=pf
(m,n)[m,n]=pe+f
តែ
mn=pe+f
មានន័យថា