`1000 = 10^3`

Once again, this just follows from the definition of a logarithm.