vacuous occurrence

Вырожденное вхождение