Lumer-Phillips Generation Theorem