theorem repr: :: RING_5:10

for R being non empty non degenerated well-unital doubleLoopStr
for a being Element of R holds <%(- a),(1. R)%> = rpoly (1,a)