:נניח שהם שונים, נעלה את שניהם בחזקת n ונקבל סתירה, לפי החוק <math>(a^n)^m=(a^m)^n</math> (אותו קל להוכיח) --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
::ציין אם זה נכון: בגלל שהם מספרים טבעיים, נקבל שכל אחד מהאגפים שווה לפי עקרון הכפל הקומבינטורי ל ::<math>a^{nm}</math>, ולכן לאחר ההנחה בשלילה נקבל
::<math>\sqrt[n]{x^m}\neq (\sqrt[n]{x})^m \Rightarrow {x^m}\neq ((\sqrt[n]{x})^m )^n\Rightarrow {x^m}\neq ((\sqrt[n]{x})^{mn}= ((\sqrt[n]{x})^n)^m=x^m</math> בסתירה.