Fundamental Theorem of Software Engineering
en.wikipedia.org