Which of the following is a correct formal expression of the division property of equality?

The division property states that if a = b, then a + c = b + c for any c.

If a/c = b/c, then a = b for any c, including c = 0.

If a = b, then ac = bc only when c = 0.

If a = b and c ≠ 0, then a/c = b/c.