Свойство дистрибутивности для конъюнкции относительно дизъюнкции

Доказать, что

x1 + x2 x3 = (x1 + x2)& (x1+ x3).

Д о к а з а т е л ь с т в о .

(x1 + x2) (x1+ x3) = x1x1+ x1x3 + x1x2 + x2x3 = x1 + x1x2 + x1x3 + x2x3 =

= x1 (1+ x2 + x3) + x2 x3 = x1 + x2 x3 .

Вопрос, почему из этого x1 (1+ x2 + x3) + x2 x3 следует это, x1 + x2 x3 ?

Объясните пожалуйста!