Can you prove that x³ = -1?