theorem ThB103: :: GROUP_1A:302

for G being addGroup
for H1 being strict Subgroup of G holds H1,H1 are_conjugated