[math-fun] Elementary geometry super-theorems