theorem :: UNIROOTS:20

for R being Skew-Field holds the carrier of (MultGroup R) c= the carrier of R