necessary inference

Неизбежный вывод, с необходимостью следующий вывод