Can you prove that $x^3=-1$?