theorem Th65: :: GROUP_1A:111

for G being addGroup
for H being Subgroup of G holds (0). G is Subgroup of H