[math-fun] onion of revolution?