The expression is
(Commutative property:
)
(Distributive property:
)
(Add:
)
(Additive inverse property:
)
(Additive identity property:
)
(Subtract:
)
The simplified expression is .