[math-fun] Mathematica 9.0 puzzle