void consequent

Мат. пустой консеквент