Wedderburn's_little_theorem loading ...