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