[math-fun] Hilbert 3 in 8D