theorem Th1: :: ALGNUM_1:1

for L1, L2, L3 being Ring st L1 is Subring of L2 & L2 is Subring of L3 holds
L1 is Subring of L3