Hille-Yosida theorem