All problems in computer science can be solved by another level of indirection.
(attributed to both Butler Lampson and David Wheeler)
This is also captured as the Fundamental theorem of software engineering; not a formal theorem, but a general principle for managing complexity through abstraction. This idea is also discussed in more detail by Diomidis Spinellis in his chapter in the 2007 book “Beautiful Code: Leading Programmers Explain How They Think”.
Or perhaps: “All problems in computer science can be solved by another level of indirection, except for the problem of too many layers of indirection.“