[math-fun] Re: Cedric Smith - Herbert Wright - 13-coin problem