Pythagorean Theorem is "digging hard" and "not interesting"? Mind explaining?

The language that contains all Turing Machines that halt on all inputs is not decidable.

Or

e^(iy) = sin(y) + i * cos(y)

Are those uninteresting trivialities to you?