theorem Th19: :: WEDDWITT:19
for R being Skew-Field holds 1_ R in center R