किस प्रमेय के अनुसार, a और b के बीच एक वास्तविक संख्या C शामिल होती है जैसे कि f'(C) = 0 है, जब f'(a) f'(b) < 0 होता है तो f को परिभाषित किया जा सकता है और [a, b] पर अवकलज किया जा सकता है?