Re: [math-fun] Polyhedral center-of-gravity problem