[math-fun] correct name for 4-D donut?