theorem Th50: :: POLYALGX:50

for R being non degenerated comRing holds (BSPoly R) . (1. (Polynom-Ring (1,R))) = 1. (Polynom-Ring R)