theorem Th19: :: UNIROOTS:19

for R being Skew-Field
for s being set st s in the carrier of (MultGroup R) holds
s in the carrier of R