Haag–Lopuszanski–Sohnius_theorem loading ...