theorem :: UNIROOTS:15

for R being Skew-Field holds the carrier of R = the carrier of (MultGroup R) \/ {(0. R)}