Which formal statement correctly expresses the multiplication property of equality?

If a + c = b + c, then a = b provided c ≠ 0.

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

If a = b, then a/c = b/c only when c = 0 and both sides are undefined.

If a = b, then a·c = b·c for any number c.