theorem Th116: :: MATGRP_0:100

for R being Skew-Field holds NonZero R = units R