[math-fun] Nonexistence of cubed cube