So far, you have:
a(b-c) = a(b + (-c)) = ab + a(-c)
Now you need to show that a(-c) = -ac... what property does -ac have that you suspect a(-c) has? they're both additive inverses of ac, so..
ac - ac = a(c - c) by a.3
and ac + a(-c) = a(c + (-c)) = a(c - c),
so ac - ac = ac + a(-c), and by...