theorem :: RING_EMB:19

for R being non degenerated comRing holds Support (1_1 R) = {1}