Re: [math-fun] names for some well known facts