What are the facts (and sources) about programming that have been justified empirically?
For instance, we've heard that the ratio of defects to lines of code is constant irrespective of programming languages. The source of this claim is apparently in the book, Code Complete, by Steve McConnell.
What are some other facts that are similarly justified?