Re: [math-fun] Elementary geometry super-theorems