Theorem No compiler produces optimal correct code for all programs. For every compiler A, there exists a better compiler B.