The existence of optimal controls.