theorem Th56: :: GROUP_1A:102

for G1, G2, G3 being addGroup st G1 is Subgroup of G2 & G2 is Subgroup of G3 holds
G1 is Subgroup of G3