[gotsa]

proving "duh" stuff is generally good as it makes us understand much more about the foundations of any field.

Take for example the mathematical journey of laying our fundamental axioms starting at Peano all the way through ZFC.