Haag-Lopuszanski-Sohnius theorem