[math-fun] Hilbert space puzzle