Relația dintre cel mai mare divizor comun și cel mai mic multiplu comun este:
[tex] \boxed{(a,b) \cdot [a,b] =a \cdot b} [/tex]
Din problema, știm ca [a,b] =a•b deci înlocuim în relație:
[tex] (a,b) \cdot a \cdot b =a \cdot b \\ \implies \tt (a,b) =1 [/tex]