
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.