How to prove that ? D-operator theorem?

its all explained here >>> http://imageshack.us/photo/my-images/15/photo0667b.jpg/.

I assume that and is some function. How is defined? Do you have a reference for the theorem?