theorem Th45: :: POLYALGX:45

for R being non degenerated comRing holds
( BSPoly R is one-to-one & BSPoly R is onto )