Lumer-Phillips theorem
 
x
OK