mathemtics optmization and control theorem