theorem :: QUOFIELD:55

for R being non empty doubleLoopStr holds id R is RingHomomorphism ;