Фараз қилайлик ва функциялар оралиқда берilgan бўlsin. Теорема (Дирихле аломати). Функциялар қуйидаги шартларни қаноатлантирсин: функцияда узлуксиз ва унинг шу оралиқдаги бошланғич функцияси чегараланган; функцияда узлуксиз ҳосилага эга; функцияда камаювчи.