A theorem concerned with optimization that states (in very general terms) that a general purpose universal optimization strategy is theoretically impossible, and the only way one strategy can outperform another is if it is specialized to the specific problem under consideration.