Это сведение всего массива возможных выводов из данного набора частных данных в одно общее выражение служит гарантией того, что