Wedderburn–Artin_theorem loading ...