theorem Th24: :: RING_EMB:24

for R being non degenerated Ring holds ([#] (Polynom-Ring R)) \ (rng (canHom R)) <> {}