regular exhaustion

Мат. регулярное исчерпание