Согласно закону идемпотентности
Подставляем значения и, используя переместительный (коммутативный) закон и группируя слагаемые, получаем:
Согласно закону исключения (склеивания)