discrete interval theorem是什么意思