theorem Th6: :: RING_EMB:6

for A being Ring
for X being non empty set
for f being Function of A,X st f is bijective holds
emb_Ring f is Ring