The expression is
Whether the equation is true or not
\According to subtraction property of equality: if , then
.
(Subtract 12 from each side)
(Commutative property: a + b = b + a)
(Additive inverse property:
)
(Subtract:
)
The equation is true.