Fundamental theorem of software engineering

The fundamental theorem of software engineering (FTSE) is a term originated by Andrew Koenig to describe a remark by Butler Lampson:

"We can solve any problem by introducing an extra level of indirection."

The term is facetious in the sense that it doesn't describe an actual theorem that can be proved, only a useful technique.