Combine like terms on the left side:
-13a + 9 = -13a + 9
This is an identity, true for all values of a.