Sa zicem ca exista m/n, unde m și n sunt nr naturale nenule astfel încât: (m/n)^3=2 m^3/n^3=2 m^3=2* n^3 (extragem rad indice 3) m=n* (rad indice 3 din 2) m= natural, iar produsul dintre un număr natural (n) Și un număr irațional (rad indice 3 din 2) este un număr irațional.