Holstein-Primakoff transformation
 
x
OK