$${\int_0^K dK = \int_0^t P\, dt}$$