An eighth-grade student claims she can prove that subtraction of integers is commutative. She points out that if a and b are integers, then

a - b = a + (-b)