theorem Th103: :: GROUP_3:103

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