Comment by sound_of_basker

You can say that again. The other day I was looking at proving the Pythagorean theorem in R_n. Merely starting the problem formally is non-trivial. :-(