نظرية ذات الحدين ومتعددة الحدود