immediate contradiction

Мат. непосредственное противоречие