Obtaining PDF from CDF (f to F)

Propsosition

If X is a continuous rv with CDF F(x) then at every x at which F(x) exists then:

F(x)=f(x)

for PDF f(x).