Fundamental theorem of software engineering
en.wikipedia.org