 Fundamental theorem of stability

For a complete theory, the following are equivalent: the theory is stable; no formula has the order property; and every complete type over every model is definable.