theorem :: POLYALGX:51

for R being non degenerated comRing holds
( BSPoly R is RingIsomorphism & Polynom-Ring R is Polynom-Ring (1,R) -isomorphic )