Haag–Łopuszański–Sohnius_theorem loading ...