Re: [math-fun] *OLD* proof sought